From 63baebfc7571692053339ec477af08cc3160764c Mon Sep 17 00:00:00 2001 From: Louis-Arnaud Catoire Date: Mon, 13 Jul 2026 10:36:46 +0200 Subject: [PATCH] feat: scan doc-contrib directory in file-entities generation When a doc-contrib/ directory exists alongside en/ in the root, scan it before doc-en so that third-party extension entities are registered first. doc-en entities override doc-contrib where both repositories have the same file, which allows incremental migration: removing an extension from doc-en is sufficient to make doc-contrib take over for that extension. This is the doc-base counterpart to the new php/doc-contrib repository, created to implement the accepted RFC on separation of third-party extension documentation (www.php.net/manual/extensions/). --- scripts/file-entities.php | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/scripts/file-entities.php b/scripts/file-entities.php index b6b277d86b..8e8626a16e 100644 --- a/scripts/file-entities.php +++ b/scripts/file-entities.php @@ -88,6 +88,12 @@ $entities = []; $mixedCase = []; +if ( is_dir( "$root/doc-contrib" ) ) +{ + generate_file_entities( $root , "doc-contrib" ); + generate_list_entities( $root , "doc-contrib" ); +} + generate_file_entities( $root , "en" ); generate_list_entities( $root , "en" );