[HCoop-Discuss] PHP 5 now available for member use

[Adam Chlipala]

Omry Yadan wrote:
> I suggest something like that to ensure nothing breaks:
>
> 1. Existing users will not be forced to migrate to php 5.
>
> 2. New users will have php5 enabled by default.
>
> 3. existing users will be able to change the default.
>   


I'm in favor of modifying Domtool to place a certain fixed filename 
first in dependency ordering, so that members can put shared library 
stuff there, including setting environment variables.  I would remove 
the directive for setting PHP version and instead use a new environment 
variable.