more restrictive parsing of lat/lon

Require a decimal point in both numbers to avoid cases like
https://trac.openstreetmap.org/ticket/4884

diff --git a/website/search.php b/website/search.php
index 9c8c8a6ed07a2a8f65398807236f920b838763ab..aa0e870adb5c4242015b16f39f2b8af5b6fc903e 100755 (executable)
--- a/website/search.php
+++ b/website/search.php
@@ -270,7 +270,7 @@
                                $sQuery = trim(str_replace($aData[0], ' ', $sQuery));
                        }
                }
-               elseif (preg_match('/(\\[|^|\\b)(-?[0-9]+[0-9.]*)[, ]+(-?[0-9]+[0-9.]*)(\\]|$|\\b)/', $sQuery, $aData))
+               elseif (preg_match('/(\\[|^|\\b)(-?[0-9]+[0-9]*\\.[0-9]+)[, ]+(-?[0-9]+[0-9]*\\.[0-9]+)(\\]|$|\\b)/', $sQuery, $aData))
                {
                        $fQueryLat = $aData[2];
                        $fQueryLon = $aData[3];