SpecialListBots.php

Go to the documentation of this file.

<?php
namespace MediaWiki\Specials\Redirects;
 
use MediaWiki\SpecialPage\SpecialRedirectToSpecial;
 
class SpecialListBots extends SpecialRedirectToSpecial {
    public function __construct() {
        parent::__construct( 'Listbots', 'Listusers', 'bot' );
    }
}
 
class_alias( SpecialListBots::class, 'SpecialListBots' );