MediaWiki
master
SpecialDeletePage.php
Go to the documentation of this file.
1
<?php
24
namespace
MediaWiki\Specials
;
25
26
use
MediaWiki\SpecialPage\SpecialRedirectWithAction
;
27
use
SearchEngineFactory
;
28
34
class
SpecialDeletePage
extends
SpecialRedirectWithAction
{
35
39
public
function
__construct
(
40
SearchEngineFactory
$searchEngineFactory
41
) {
42
parent::__construct(
'DeletePage'
,
'delete'
,
'deletepage'
, $searchEngineFactory );
43
}
44
45
// Messages, for grep:
46
// specialdeletepage-page
47
// specialdeletepage-submit
48
}
49
51
class_alias( SpecialDeletePage::class,
'SpecialDeletePage'
);
MediaWiki\SpecialPage\SpecialRedirectWithAction
Definition
SpecialRedirectWithAction.php:36
MediaWiki\Specials\SpecialDeletePage
Definition
SpecialDeletePage.php:34
MediaWiki\Specials\SpecialDeletePage\__construct
__construct(SearchEngineFactory $searchEngineFactory)
Definition
SpecialDeletePage.php:39
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
SpecialDeletePage.php
Generated on Mon May 13 2024 13:25:26 for MediaWiki by
1.10.0