MediaWiki
master
SpecialPageHistory.php
Go to the documentation of this file.
1
<?php
21
namespace
MediaWiki\Specials
;
22
23
use
MediaWiki\SpecialPage\SpecialRedirectWithAction
;
24
use
SearchEngineFactory
;
25
32
class
SpecialPageHistory
extends
SpecialRedirectWithAction
{
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
49
class_alias( SpecialPageHistory::class,
'SpecialPageHistory'
);
MediaWiki\SpecialPage\SpecialRedirectWithAction
Definition
SpecialRedirectWithAction.php:36
MediaWiki\Specials\SpecialPageHistory
Redirect from Special:History/$1 to index.php?title=$1&action=history.
Definition
SpecialPageHistory.php:32
MediaWiki\Specials\SpecialPageHistory\__construct
__construct(SearchEngineFactory $searchEngineFactory)
Definition
SpecialPageHistory.php:34
SearchEngineFactory
Factory class for SearchEngine.
Definition
SearchEngineFactory.php:11
MediaWiki\Specials
includes
specials
SpecialPageHistory.php
Generated on Fri Apr 18 2025 22:27:38 for MediaWiki by
1.10.0