]> git.openstreetmap.org Git - nominatim.git/commitdiff
projects / nominatim.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: bc63f10 ccf1192)
Merge pull request #2706 from mtmail/php-fixes-php7-vs-php8
authorSarah Hoffmann <lonvia@denofr.de>
Sun, 3 Jul 2022 09:28:52 +0000 (11:28 +0200)
committerGitHub <noreply@github.com>
Sun, 3 Jul 2022 09:28:52 +0000 (11:28 +0200)
PHP 8 behaves slightly different with in_array and usort


Trivial merge
Open Source search based on OpenStreetMap data