Code Coverage for /workspace/src/includes/Specials/SpecialRandomRedirect.php

1	<?php
2	/**
3	* @license GPL-2.0-or-later
4	* @file
5	*/
6
7	namespace MediaWiki\Specials;
8
9	use MediaWiki\Title\NamespaceInfo;
10	use Wikimedia\Rdbms\IConnectionProvider;
11
12	/**
13	* Redirect to a random redirect page (minus the second redirect)
14	*
15	* @ingroup SpecialPage
16	* @author Rob Church <robchur@gmail.com>, Ilmari Karonen
17	*/
18	class SpecialRandomRedirect extends SpecialRandomPage {
19
20	public function __construct(
21	IConnectionProvider $dbProvider,
22	NamespaceInfo $nsInfo
23	) {
24	parent::__construct( $dbProvider, $nsInfo );
25	$this->mName = 'Randomredirect';
26	$this->isRedir = true;
27	}
28	}
29
30	/**
31	* Retain the old class name for backwards compatibility.
32	* @deprecated since 1.41
33	*/
34	class_alias( SpecialRandomRedirect::class, 'SpecialRandomRedirect' );