[DOC-CVS] [doc-base] master: Change manual configuration entity file extension from .inc to .ent (#331)

Author: Jordi Kroon (jordikroon)
Committer: GitHub (web-flow)
Pusher: jordikroon
Date: 2026-07-26T21:57:15+02:00

Commit: https://github.com/php/doc-base/commit/eee3873192b481e5f37b9d4612ec03bc070b7deb
Raw diff: https://github.com/php/doc-base/commit/eee3873192b481e5f37b9d4612ec03bc070b7deb.diff

Change manual configuration entity file extension from .inc to .ent (#331)

Changed paths:
  M  configure.php
  M  manual.xml


Diff:

diff --git a/configure.php b/configure.php
index 047299e8c8..bd17307952 100755
--- a/configure.php
+++ b/configure.php
@@ -595,7 +595,7 @@ function dtd_conf_entities()
     else
         $conf[] = "<!ENTITY manual.chmonly ''>";
 
-    file_put_contents( __DIR__ . "/temp/manual.inc" , implode( "\n" , $conf ) );
+    file_put_contents( __DIR__ . "/temp/manual.ent" , implode( "\n" , $conf ) );
 }
 
 function dtd_file_entities()
diff --git a/manual.xml b/manual.xml
index c8a3521703..42ce09da9d 100644
--- a/manual.xml
+++ b/manual.xml
@@ -2,7 +2,7 @@
 <!DOCTYPE PHPDOC [
 
 <!-- Parameter entities used to configure manual.xml -->
-<!ENTITY % configure         SYSTEM "./temp/manual.inc">
+<!ENTITY % configure         SYSTEM "./temp/manual.ent">
 %configure;
 
 <!-- Entities collected by entities.php -->