MediaWiki master
SpecialPageHistory.php
Go to the documentation of this file.
1<?php
21namespace MediaWiki\Specials;
22
25
33
34 public function __construct(
35 SearchEngineFactory $searchEngineFactory
36 ) {
37 parent::__construct( 'PageHistory', 'history', 'pagehistory', $searchEngineFactory );
38 }
39
40 // Messages, for grep:
41 // specialpagehistory-page
42 // specialpagehistory-submit
43}
44
49class_alias( SpecialPageHistory::class, 'SpecialPageHistory' );
Redirect from Special:History/$1 to index.php?title=$1&action=history.
__construct(SearchEngineFactory $searchEngineFactory)
Factory class for SearchEngine.