From: Sarah Hoffmann Date: Sun, 3 Jul 2022 09:28:52 +0000 (+0200) Subject: Merge pull request #2706 from mtmail/php-fixes-php7-vs-php8 X-Git-Tag: v4.1.0~18 X-Git-Url: https://git.openstreetmap.org./nominatim.git/commitdiff_plain/67996929e080b64e1a2282196d90f2d8b008c31a?hp=--cc Merge pull request #2706 from mtmail/php-fixes-php7-vs-php8 PHP 8 behaves slightly different with in_array and usort --- 67996929e080b64e1a2282196d90f2d8b008c31a