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