Issue #3400984 by andypost, longwave, BramDriesen, catch: Make PHP 8.3 the default environment for gitlab CI runs