Check which version of PHP we're running