includes/installer/WebInstallerRestart.php

   1 <?php
   2
   3 use MediaWiki\Html\Html;
   4
   5 /**
   6  * This program is free software; you can redistribute it and/or modify
   7  * it under the terms of the GNU General Public License as published by
   8  * the Free Software Foundation; either version 2 of the License, or
   9  * (at your option) any later version.
  10  *
  11  * This program is distributed in the hope that it will be useful,
  12  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  13  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  14  * GNU General Public License for more details.
  15  *
  16  * You should have received a copy of the GNU General Public License along
  17  * with this program; if not, write to the Free Software Foundation, Inc.,
  18  * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
  19  * http://www.gnu.org/copyleft/gpl.html
  20  *
  21  * @file
  22  * @ingroup Installer
  23  */
  24
  25 class WebInstallerRestart extends WebInstallerPage {
  26
  27         /**
  28          * @return string|null
  29          */
  30         public function execute() {
  31                 $r = $this->parent->request;
  32                 if ( $r->wasPosted() ) {
  33                         $really = $r->getVal( 'submit-restart' );
  34                         if ( $really ) {
  35                                 $this->parent->reset();
  36                         }
  37
  38                         return 'continue';
  39                 }
  40
  41                 $this->startForm();
  42                 $s = Html::warningBox( wfMessage( 'config-help-restart' )->plain(), 'config-warning-box' );
  43                 $this->addHTML( $s );
  44                 $this->endForm( 'restart' );
  45
  46                 return null;
  47         }
  48
  49 }