X-Git-Url: https://git.openstreetmap.org./nominatim.git/blobdiff_plain/aa9fff919900caafb276630b8ca4f1c1c598ab1c..d45524cbfb299f5004a03c52802c64749c5ad212:/lib/lib.php diff --git a/lib/lib.php b/lib/lib.php index 897db8e7..fc393685 100644 --- a/lib/lib.php +++ b/lib/lib.php @@ -39,13 +39,6 @@ exit; } - function getParamBool($name, $default=false) - { - if (!isset($_GET[$name])) return $default; - - return (bool) $_GET[$name]; - } - function fail($sError, $sUserError = false) { if (!$sUserError) $sUserError = $sError;