SpecialRandomRedirect.php

Go to the documentation of this file.

<?php
namespace MediaWiki\Specials;
 
use MediaWiki\Title\NamespaceInfo;
use Wikimedia\Rdbms\IConnectionProvider;
 
class SpecialRandomRedirect extends SpecialRandomPage {
 
    public function __construct(
        IConnectionProvider $dbProvider,
        NamespaceInfo $nsInfo
    ) {
        parent::__construct( $dbProvider, $nsInfo );
        $this->mName = 'Randomredirect';
        $this->isRedir = true;
    }
}
 
class_alias( SpecialRandomRedirect::class, 'SpecialRandomRedirect' );