Re: Policy to provide older, but supported PHP versions

[Gabriel Wicki]

I sense an opportunity to formalize this behavior.  Would any of you
dare to lay out such packaging precautions for the manual in a separate
PR?

gabber