From: Sarah Hoffmann <lonvia@denofr.de>
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=ccf119206d56a024f21cde36c729e4b7da4283d1

Merge pull request #2706 from mtmail/php-fixes-php7-vs-php8

PHP 8 behaves slightly different with in_array and usort
---