Version of PHP used in the project.