Code Coverage for /workspace/src/includes/Specials/SpecialDeletePage.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:DeletePage/$1 to index.php?title=$1&action=delete.
14	*
15	* @since 1.38
16	* @ingroup SpecialPage
17	* @author Zabe
18	*/
19	class SpecialDeletePage extends SpecialRedirectWithAction {
20
21	public function __construct(
22	SearchEngineFactory $searchEngineFactory
23	) {
24	parent::__construct( 'DeletePage', 'delete', 'deletepage', $searchEngineFactory );
25	}
26
27	// Messages, for grep:
28	// specialdeletepage-page
29	// specialdeletepage-submit
30	}
31
32	/** @deprecated class alias since 1.41 */
33	class_alias( SpecialDeletePage::class, 'SpecialDeletePage' );