specific require PHP version in english documentation