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

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