Added an extra digit the php version number output
Merge branch 'master' into phpbrew