[mmarx]

> > PHP 8.0 is 10 months old, and debian’s upcoming release will be upgrading from 7.3 to 7.4, which will make 7.4 the standard for the next ~3 years (even though it only gets upstream support for 1 more year)…

Packaging PHP 8 would have required to drop, e.g., the mediawiki package, which only become compatible with PHP 8 in 1.39, released November 2022.