MediaWiki  master
SpecialEditPage.php
Go to the documentation of this file.
1 <?php
25 namespace MediaWiki\Specials;
26 
29 
31 
35  public function __construct(
36  SearchEngineFactory $searchEngineFactory
37  ) {
38  parent::__construct( 'EditPage', 'edit', 'editpage', $searchEngineFactory );
39  }
40 
41  // Messages, for grep:
42  // specialeditpage-page
43  // specialeditpage-submit
44 }
45 
49 class_alias( SpecialEditPage::class, 'SpecialEditPage' );
__construct(SearchEngineFactory $searchEngineFactory)
Factory class for SearchEngine.