* Removed this stub file that did nothing but redirect Special:Listadmins to

 Special:Listusers, moved that functionality into SpecialPage.php

diff --git a/includes/SpecialListadmins.php b/includes/SpecialListadmins.php
deleted file mode 100644 (file)
index 63e9e5f..0000000
--- a/includes/SpecialListadmins.php
+++ /dev/null
@@ -1,23 +0,0 @@
-<?php
-/**
- * This old a redirect to Special:Listusers that now implement a filter
- * by user groups. The listadmins special page is now deprecated but kept
- * for backward compatibility.
- * 
- * @package MediaWiki
- * @subpackage SpecialPage
- * @deprecated
- */
-
-/**
- * Just redirect to Special:Listusers.
- * Kept for backward compatibility.
- */
-function wfSpecialListadmins() {
-       global $wgOut;
-       $t = Title::makeTitle( NS_SPECIAL, "Listusers" );
-       $wgOut->redirect ($t->getFullURL());
-}
-
-
-?>