From 3fc37c9e91a999b5df45c9f7a7d74d4ab709d93e Mon Sep 17 00:00:00 2001
From: =?utf8?q?=C3=86var=20Arnfj=C3=B6r=C3=B0=20Bjarmason?=
 <avar@users.mediawiki.org>
Date: Wed, 11 May 2005 03:16:55 +0000
Subject: [PATCH] * Removed this stub file that did nothing but redirect
 Special:Listadmins to  Special:Listusers, moved that functionality into
 SpecialPage.php

---
 includes/SpecialListadmins.php | 23 -----------------------
 1 file changed, 23 deletions(-)
 delete mode 100644 includes/SpecialListadmins.php

diff --git a/includes/SpecialListadmins.php b/includes/SpecialListadmins.php
deleted file mode 100644
index 63e9e5fc66..0000000000
--- 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());
-}
-
-
-?>
-- 
2.20.1