home/omtekel/wiki/includes/specials/SpecialRandomRedirect.php000066600000003162151335051760020440 0ustar00, Ilmari Karonen */ namespace MediaWiki\Specials; use MediaWiki\Title\NamespaceInfo; use Wikimedia\Rdbms\IConnectionProvider; /** * Special page to direct the user to a random redirect page (minus the second redirect) * * @ingroup SpecialPage */ class SpecialRandomRedirect extends SpecialRandomPage { /** * @param IConnectionProvider $dbProvider * @param NamespaceInfo $nsInfo */ public function __construct( IConnectionProvider $dbProvider, NamespaceInfo $nsInfo ) { parent::__construct( $dbProvider, $nsInfo ); $this->mName = 'Randomredirect'; $this->isRedir = true; } } /** * Retain the old class name for backwards compatibility. * @deprecated since 1.41 */ class_alias( SpecialRandomRedirect::class, 'SpecialRandomRedirect' );