Added an extra digit the php version number output