Updated the default PHP version in specs