require_once( "$IP/maintenance/commandLine.inc" );
$wgLocaltimezone = 'UTC';
-if( !version_compare(PHPUnit_Runner_Version::id(), "3.4.1", ">") ) {
+if ( !version_compare( PHPUnit_Runner_Version::id(), "3.4.1", ">" ) ) {
echo <<<EOF
************************************************************