includes/installer/WebInstallerRestart.php

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