Remove unused parameter

[mediawiki.git] / maintenance / waitForSlave.php

<?php
/**
 * @see wfWaitForSlaves()
 * @file
 * @ingroup Maintenance
 */

require_once( "commandLine.inc" );
if ( isset( $args[0] ) ) {
        wfWaitForSlaves($args[0]);
} else {
        wfWaitForSlaves(10);
}