From: Sarah Hoffmann Date: Mon, 23 Jul 2018 18:35:38 +0000 (+0200) Subject: Merge pull request #1114 from mtmail/fix-tiny-phplint-error X-Git-Tag: v3.2.0~41 X-Git-Url: https://git.openstreetmap.org./nominatim.git/commitdiff_plain/fcab68223198d070c68ac8a2bd91894793ecdf4e?hp=fcab68223198d070c68ac8a2bd91894793ecdf4e Merge pull request #1114 from mtmail/fix-tiny-phplint-error PHP code style: use long array syntax ---