MediaWiki master
SpecialDeletePage.php
Go to the documentation of this file.
1<?php
21namespace MediaWiki\Specials;
22
25
34
35 public function __construct(
36 SearchEngineFactory $searchEngineFactory
37 ) {
38 parent::__construct( 'DeletePage', 'delete', 'deletepage', $searchEngineFactory );
39 }
40
41 // Messages, for grep:
42 // specialdeletepage-page
43 // specialdeletepage-submit
44}
45
47class_alias( SpecialDeletePage::class, 'SpecialDeletePage' );
Redirect from Special:DeletePage/$1 to index.php?title=$1&action=delete.
__construct(SearchEngineFactory $searchEngineFactory)
Factory class for SearchEngine.