X-Git-Url: https://git.openstreetmap.org./nominatim.git/blobdiff_plain/8e2ef2842ef6d854e87a27ff57043971765fdd8a..28ee59dd643e4582ade1aa8fd6a788f0a4daf69e:/lib/cmd.php diff --git a/lib/cmd.php b/lib/cmd.php index 898fbe95..1edf5dfd 100644 --- a/lib/cmd.php +++ b/lib/cmd.php @@ -16,7 +16,7 @@ function getCmdOpt($aArg, $aSpec, &$aResult, $bExitOnError = false, $bExitOnUnkn $aResult = array(); $bUnknown = false; - $iSize = sizeof($aArg); + $iSize = count($aArg); for ($i = 1; $i < $iSize; $i++) { if (isset($aQuick[$aArg[$i]])) { $aLine = $aQuick[$aArg[$i]]; @@ -99,7 +99,7 @@ function showUsage($aSpec, $bExit = false, $sError = false) echo 'Try `'.basename($_SERVER['argv'][0]).' --help` for more information.'."\n"; exit; } - echo "Usage: ".basename($_SERVER['argv'][0])."\n"; + echo 'Usage: '.basename($_SERVER['argv'][0])."\n"; $bFirst = true; foreach ($aSpec as $aLine) { if (is_array($aLine)) {