includes/SpecialListadmins.php

   1 <?php
   2 /**
   3  * This old a redirect to Special:Listusers that now implement a filter
   4  * by user groups. The listadmins special page is now deprecated but kept
   5  * for backward compatibility.
   6  *
   7  * @package MediaWiki
   8  * @subpackage SpecialPage
   9  * @deprecated
  10  */
  11
  12 /**
  13  * Just redirect to Special:Listusers.
  14  * Kept for backward compatibility.
  15  */
  16 function wfSpecialListadmins() {
  17         global $wgOut;
  18         $t = Title::makeTitle( NS_SPECIAL, "Listusers" );
  19         $wgOut->redirect ($t->getFullURL());
  20 }
  21
  22
  23 ?>