Alex Dupre 7fe96c1093 Welcome PHP 5.5! ...

Future steps:
- rename current php5 ports to php54
- make php55 the default one after an exp-run

2013-06-24 14:32:11 +00:00

..

Makefile

…