Old-style PHP finally masked
The title says it all, the old PHP packages were finally masked!
Sorry for the three days delay (22 Apr instead of 19 Apr), but in the end, it's all done.
Again, thanks a lot to all the people involved in this, without their work this would have never been possible.