Code Coverage for /workspace/src/includes/SpecialPage/UnlistedSpecialPage.php

1	<?php
2	/**
3	* Shortcut to construct a special page which is unlisted by default.
4	*
5	* @license GPL-2.0-or-later
6	* @file
7	* @ingroup SpecialPage
8	*/
9
10	namespace MediaWiki\SpecialPage;
11
12	/**
13	* Shortcut to construct a special page which is unlisted by default.
14	*
15	* @stable to extend
16	*
17	* @ingroup SpecialPage
18	*/
19	class UnlistedSpecialPage extends SpecialPage {
20
21	/**
22	* @stable to call
23	*
24	* @param string $name
25	* @param string $restriction
26	* @param bool $function
27	* @param string $file
28	*/
29	public function __construct( $name, $restriction = '', $function = false, $file = 'default' ) {
30	parent::__construct( $name, $restriction, false, $function, $file );
31	}
32
33	/** @inheritDoc */
34	public function isListed() {
35	return false;
36	}
37	}
38
39	/** @deprecated class alias since 1.41 */
40	class_alias( UnlistedSpecialPage::class, 'UnlistedSpecialPage' );