Code Coverage for /workspace/src/includes/Installer/WebInstallerRestart.php

1	<?php
2
3	/**
4	* @license GPL-2.0-or-later
5	* @file
6	* @ingroup Installer
7	*/
8
9	namespace MediaWiki\Installer;
10
11	use MediaWiki\Html\Html;
12
13	class WebInstallerRestart extends WebInstallerPage {
14
15	/**
16	* @return string\|null
17	*/
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	}