Fixed the PHP version constants

This fixes #2934