Deploy PHP 8.3 and 8.4 on devserver.
To support several versions, we want:
- to be able to build and install each version in different folder, like /opt/php83 and /opt/php84
- to have different php-fpm pools by version
References:
- https://www.php.net/releases/8.3/en.php
- https://www.php.net/releases/8.4/en.php
- https://stitcher.io/blog/new-in-php-84
Not a lot of backwards incompatibilities so we can easily migrate everything to it: