Also, sorry to hijack your message, but what do you think about creating a set of entities for PHP versions? &phpv.5; or just &php5; / &php5.1; which could link to the changelog page perhaps.
No please. I believe we concluded to use just plain PHP 5.
True.
Goba
