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