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

1	<?php
2	/**
3	* @license GPL-2.0-or-later
4	* @file
5	*/
6
7	namespace MediaWiki\Specials;
8
9	use MediaWiki\SpecialPage\SpecialRedirectWithAction;
10	use SearchEngineFactory;
11
12	/**
13	* Redirect from Special:Edit/$1 to index.php?title=$1&action=edit.
14	*
15	* @ingroup SpecialPage
16	* @author DannyS712
17	*/
18	class SpecialEditPage extends SpecialRedirectWithAction {
19
20	public function __construct(
21	SearchEngineFactory $searchEngineFactory
22	) {
23	parent::__construct( 'EditPage', 'edit', 'editpage', $searchEngineFactory );
24	}
25
26	// Messages, for grep:
27	// specialeditpage-page
28	// specialeditpage-submit
29	}
30
31	/** @deprecated class alias since 1.41 */
32	class_alias( SpecialEditPage::class, 'SpecialEditPage' );