php version in documentation