Found another place with a php version check.