[php-src] PR #23374: docs: Internals Book improvements (07)

From: Date: Wed, 19 Aug 2026 10:35:24 +0000
Subject: [php-src] PR #23374: docs: Internals Book improvements (07)
Groups: php.git-pulls 
Request: Send a blank email to git-pulls+get-38003@lists.php.net to get a copy of this message
Pull Request: https://github.com/php/php-src/pull/23374 Author: NickSdot Depends on: #23368 (01), #23369 (02), #23370 (03), #23371 (04), #23372 (05), #23373 (06) This PR gets the extensions contents from docs-old in order. It removes obsolete and clearly userland targeting stuff which is not relevant to the internals book. Diff to 06: https://github.com/NickSdot/php__php-src/compare/docs/restructure-06...docs/restructure-07 **Important:** Personally I think unbundled extensions have nothing todo with the internals book. It should live in the actual PHP Docs. However, it was part of the docs-old and I didn't want to decide on my own whether to remove the "Unbundled Extensions" page or not. A decision is needed. ### Preview Branch: https://nicksdot.github.io/docs-restructure-07/ Final: https://nicksdot.github.io/docs-restructure-final/

« previous php.git-pulls (#38003) next »