(Documentation) PHP download of Many Html .tar.gz has JS hardcoded to php-chunked-xhtml dir

下载并解压 https://www.php.net/distributions/manual/php_manual_en.tar.gz，重命名 php-chunked-xhtml 目录，并检查手册的 Search 控件所使用的随附 JavaScript。重命名目录后重现搜索框卡住的问题，然后验证从任意基础目录名称运行时搜索和关闭功能都能正常工作。

Affected Page URL

https://www.php.net/distributions/manual/php_manual_en.tar.gz

Describe the bug

This is an oddity. I always download the many html tar-gzipped archive and host locally under phpdoc. When installing the current documentation the archive extracts to ./php-chunked-xhtml/. If you rename that directory, then choosing "Search" leaves a non-function search-box stuck at the bottom of the screen that cannot be closed with the [x] button displayed or Esc as displayed below text-search box.

Restoring the original extraction directory name to ./php-chunked-xhtml/ restores the javascript functionality.

This was surprising as all functionality should be relative to the siteroot, not hardcoded based on the base directory in the archive.

Steps to reproduce

1. download https://www.php.net/distributions/manual/php_manual_en.tar.gz
2. extract to a directory accessible on your web server
3. rename the directory to something convenient to remember, e.g. mv php-chunked-xhtml somedir
4. access the manual through somedir
5. click search
6. now try and use search or try and get rid of the search box and notation at the bottom of the page

Expected behavior

The documentation and javascript shipped with it should work regardless of the name used for the base directory. A functionality should be relative to that base directory regardless of what it is called.

Screenshots

Not Relevant

Additional context

This is a minor documentation issue, but surprising in documentation shipped by PHP. If you need more information, just ask and I'm happy to provide it, but this is pretty simple.