MediaWiki
master
SpecialPageHistory.php
Go to the documentation of this file.
1
<?php
25
namespace
MediaWiki\Specials
;
26
27
use
MediaWiki\SpecialPage\SpecialRedirectWithAction
;
28
use
SearchEngineFactory
;
29
30
class
SpecialPageHistory
extends
SpecialRedirectWithAction
{
31
35
public
function
__construct
(
36
SearchEngineFactory
$searchEngineFactory
37
) {
38
parent::__construct(
'PageHistory'
,
'history'
,
'pagehistory'
, $searchEngineFactory );
39
}
40
41
// Messages, for grep:
42
// specialpagehistory-page
43
// specialpagehistory-submit
44
}
45
50
class_alias( SpecialPageHistory::class,
'SpecialPageHistory'
);
MediaWiki\SpecialPage\SpecialRedirectWithAction
Definition
SpecialRedirectWithAction.php:36
MediaWiki\Specials\SpecialPageHistory
Definition
SpecialPageHistory.php:30
MediaWiki\Specials\SpecialPageHistory\__construct
__construct(SearchEngineFactory $searchEngineFactory)
Definition
SpecialPageHistory.php:35
SearchEngineFactory
Factory class for SearchEngine.
Definition
SearchEngineFactory.php:11
MediaWiki\Specials
This program is free software; you can redistribute it and/or modify it under the terms of the GNU Ge...
includes
specials
SpecialPageHistory.php
Generated on Fri Mar 29 2024 12:10:54 for MediaWiki by
1.9.8