MediaWiki REL1_39
SpecialDeletePage.php
Go to the documentation of this file.
1<?php
30
34 public function __construct(
35 SearchEngineFactory $searchEngineFactory
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)