which is going away soon. Support for recent php was merged upstream in https://github.com/mapserver/mapserver/pull/5687 but that'll only be in mapserver 7.4
which is going away soon. Support for recent php was merged upstream in https://github.com/mapserver/mapserver/pull/5687 but that'll only be in mapserver 7.4