belaustegui e5ee4d60a3 Fetch PHP versions from GitHub ...

Instead of using a hardcoded list of PHP versions, we can fetch them
directly from GitHub and have the list always up to date.

2016-10-16 14:41:24 +02:00

..

install

Fix installer.

2016-10-15 14:54:25 +02:00

list-all

Fetch PHP versions from GitHub

2016-10-16 14:41:24 +02:00

list-bin-paths

Checking in all files.

2016-05-27 14:50:31 -04:00