]> git.openstreetmap.org Git - nominatim.git/blobdiff - lib/cmd.php
Merge pull request #1358 from mtmail/travis-php-7dot1
[nominatim.git] / lib / cmd.php
index 436690696b96c4ee6dbddea0faf9b1dd9793ea98..32fdc8576de70157382e2733f3875a0ac5d728e3 100644 (file)
@@ -120,11 +120,6 @@ function showUsage($aSpec, $bExit = false, $sError = false)
     exit;
 }
 
-function chksql($oSql, $sMsg = false)
-{
-    return $oSql;
-}
-
 function info($sMsg)
 {
     echo date('Y-m-d H:i:s == ').$sMsg."\n";