Fixed the PHP version constants