MediaWiki
master
WebInstallerRestart.php
Go to the documentation of this file.
1
<?php
2
9
namespace
MediaWiki\Installer
;
10
11
use
MediaWiki\Html\Html
;
12
13
class
WebInstallerRestart
extends
WebInstallerPage
{
14
18
public
function
execute
() {
19
$r = $this->parent->request;
20
if
( $r->wasPosted() ) {
21
$really = $r->getVal(
'submit-restart'
);
22
if
( $really ) {
23
$this->parent->reset();
24
}
25
26
return
'continue'
;
27
}
28
29
$this->
startForm
();
30
$s = Html::warningBox(
wfMessage
(
'config-help-restart'
)->parse(),
'config-warning-box'
);
31
$this->
addHTML
( $s );
32
$this->
endForm
(
'restart'
);
33
34
return
null
;
35
}
36
37
}
wfMessage
wfMessage( $key,... $params)
This is the function for getting translated interface messages.
Definition
GlobalFunctions.php:821
MediaWiki\Html\Html
This class is a collection of static functions that serve two purposes:
Definition
Html.php:43
MediaWiki\Installer\WebInstallerPage
Abstract class to define pages for the web installer.
Definition
WebInstallerPage.php:19
MediaWiki\Installer\WebInstallerPage\endForm
endForm( $continue='continue', $back='back')
Definition
WebInstallerPage.php:72
MediaWiki\Installer\WebInstallerPage\addHTML
addHTML( $html)
Definition
WebInstallerPage.php:51
MediaWiki\Installer\WebInstallerPage\startForm
startForm()
Definition
WebInstallerPage.php:55
MediaWiki\Installer\WebInstallerRestart
Definition
WebInstallerRestart.php:13
MediaWiki\Installer\WebInstallerRestart\execute
execute()
Definition
WebInstallerRestart.php:18
MediaWiki\Installer
Definition
CliInstaller.php:9
includes
Installer
WebInstallerRestart.php
Generated on Wed Jan 21 2026 07:23:42 for MediaWiki by
1.10.0