Document .php-version support