4 use MediaWiki\Shell\Shell;
6 require __DIR__ . '/../Maintenance.php';
8 class RunHipHopServer extends Maintenance {
9 function __construct() {
10 parent::__construct();
17 'cd ' . Shell::escape( $IP ) . " && " .
20 '-c', __DIR__."/server.conf",
29 $maintClass = RunHipHopServer::class;
30 require_once RUN_MAINTENANCE_IF_MAIN;