Remove unused has_admin_extensions()

has_admin_extensions() had not been used since the commit
Id36a6ebddb618a78cee7025c9537cd1e2746190e.
So it is nice to remove it for cleanup.

Change-Id: Ie828bb82da4a6453f8934a8a85a23944bc4f4eed
1 file changed