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

1	<?php
2	/**
3	* @license GPL-2.0-or-later
4	* @file
5	*/
6
7	namespace MediaWiki\Specials;
8
9	use MediaWiki\Search\SearchEngineFactory;
10	use MediaWiki\SpecialPage\SpecialRedirectWithAction;
11
12	/**
13	* Redirect from Special:ProtectPage/$1 to index.php?title=$1&action=protect.
14	*
15	* @since 1.38
16	* @ingroup SpecialPage
17	* @author Zabe
18	*/
19	class SpecialProtectPage extends SpecialRedirectWithAction {
20
21	public function __construct(
22	SearchEngineFactory $searchEngineFactory
23	) {
24	parent::__construct( 'ProtectPage', 'protect', 'protectpage', $searchEngineFactory );
25	}
26
27	// Messages, for grep:
28	// specialprotectpage-page
29	// specialprotectpage-submit
30	}
31
32	/**
33	* Retain the old class name for backwards compatibility.
34	* @deprecated since 1.41
35	*/
36	class_alias( SpecialProtectPage::class, 'SpecialProtectPage' );