PHP Documentation Sidebar

Add a sidebar to documentation pages on https://www.php.net/ to navigate through headers.

These are versions of this script where the code was updated. Show all versions.