]> git.openstreetmap.org Git - nominatim.git/blobdiff - lib/cmd.php
Merge remote-tracking branch 'upstream/master'
[nominatim.git] / lib / cmd.php
index a1084938e5ecef9709a800cfa65ef69ba450f337..28d56f2e0346eabbc9668e6bca2201704f57e4dc 100644 (file)
@@ -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]];
@@ -134,7 +134,7 @@ function info($sMsg)
     echo date('Y-m-d H:i:s == ').$sMsg."\n";
 }
 
-$aWarnings = [];
+$aWarnings = array();
 
 
 function warn($sMsg)