tedivm/Stash — comment on commit 0cdc37eef77a6b756c535642edc5b005fccfd7c9
File:  line 0
By vicb:

I have a php solution [here](https://github.com/symfony/symfony/pull/3362).

Not sure if it would be usefull but I explain the why of php in the original PR (doctrine-common). That's basically to compare PHP versions in order to decide whether or not to enable exts (this would take me much longer to do this in shell script).