Draft: Add remote dev with php 8

deleted the php-8.1-core branch. This merge request now targets the v9.4-2 branch

Unfortunately, we did get to put more effort into this feature and might not be worth given our future decisions. Closing this for now.

closed