MediaWiki  master
SpecialDeletePage.php
Go to the documentation of this file.
1 <?php
30 
34  public function __construct(
36  ) {
37  parent::__construct( 'DeletePage', 'delete', 'deletepage', $searchEngineFactory );
38  }
39 
40  // Messages, for grep:
41  // specialdeletepage-page
42  // specialdeletepage-submit
43 }
Factory class for SearchEngine.
__construct(SearchEngineFactory $searchEngineFactory)
SearchEngineFactory $searchEngineFactory