// }
// break;
//case 'flush':
// global $wgDBname;
// try {
// MWSearchUpdater::flush( $wgDBname );
// } catch ( MWException $e ) {
// $ret = $e;
// }
// break;
case 'status':
// no-op
break;
case 'quit':
try {
MWSearchUpdater::quit();
} catch (MWException $e) {
$ret = $e;
}
break;
case 'optimize':
try {
MWSearchUpdater::optimize();
} catch (MWException $e) {
$ret = $e;
}
break;
case 'update':
$title = Title::newFromText($args[1]);
if (is_null($title)) {
die("Invalid title\n");
