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

jordikroon · web-flow · commit eee3873192b4 · 2026-07-26T21:57:15.000+02:00
diff --git 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
@@ -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 -->

Original file line number	Diff line number	Diff line change
`@@ -595,7 +595,7 @@ function dtd_conf_entities()`
`595`	`595`	`else`
`596`	`596`	`$conf[] = "<!ENTITY manual.chmonly ''>";`
`597`	`597`
`598`		`- file_put_contents( __DIR__ . "/temp/manual.inc" , implode( "\n" , $conf ) );`
	`598`	`+ file_put_contents( __DIR__ . "/temp/manual.ent" , implode( "\n" , $conf ) );`
`599`	`599`	`}`
`600`	`600`
`601`	`601`	`function dtd_file_entities()`