]> git.openstreetmap.org Git - nominatim.git/blobdiff - lib/cmd.php
Merge pull request #986 from mtmail/php-replace-sizeof
[nominatim.git] / lib / cmd.php
index a1084938e5ecef9709a800cfa65ef69ba450f337..1edf5dfd5c53d077b03453cfcf5192b0ac54b4a8 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]];