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