MediaWiki  master
SpecialPageHistory.php
Go to the documentation of this file.
1 <?php
25 
29  public function __construct(
30  SearchEngineFactory $searchEngineFactory
31  ) {
32  parent::__construct( 'PageHistory', 'history', 'pagehistory', $searchEngineFactory );
33  }
34 
35  // Messages, for grep:
36  // specialpagehistory-page
37  // specialpagehistory-submit
38 }
Factory class for SearchEngine.
__construct(SearchEngineFactory $searchEngineFactory)