Add <constant> tags

php · Jan 29, 2024 · fba157d · fba157d
1 parent d8deee5
commit fba157d
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/scripts/docgen/docgen.php b/scripts/docgen/docgen.php
@@ -693,7 +693,7 @@ function gen_extension_markup(ReflectionExtension $obj, $content, $xml_file) { /
 					$markup .= str_repeat(' ', $ident + 1) ."<row>". PHP_EOL;
 					$markup .= str_repeat(' ', $ident + 2) ."<entry><link linkend=\"". $id ."\">". $config ."</link></entry>". PHP_EOL;
 					$markup .= str_repeat(' ', $ident + 2) ."<entry>". $value['global_value'] ."</entry>". PHP_EOL;
-					$markup .= str_repeat(' ', $ident + 2) ."<entry>" . (isset($visibility[$value['access']]) ? $visibility[$value['access']] : $value['access']) . "</entry>". PHP_EOL;
+					$markup .= str_repeat(' ', $ident + 2) ."<entry>" . (isset($visibility[$value['access']]) ? ('<constant>' . $visibility[$value['access']] . '</constant>') : $value['access']) . "</entry>". PHP_EOL;
 					$markup .= str_repeat(' ', $ident + 2) ."<entry><!-- leave empty, this will be filled by an automatic script --></entry>". PHP_EOL;
 					$markup .= str_repeat(' ', $ident + 1) ."</row>". PHP_EOL;
 

diff --git a/scripts/mk_ini_set_table.sh b/scripts/mk_ini_set_table.sh
@@ -28,23 +28,23 @@ awk 'BEGIN {
 	print "   </thead>";
 	print "   <tbody>";
 	print "    <row>";
-	print "     <entry>INI_USER</entry>";
+	print "     <entry><constant>INI_USER</constant></entry>";
 	print "     <entry>1</entry>";
 	print "     <entry>Entry can be set in user scripts</entry>";
 	print "    </row>";
 	print "    <row>";
-	print "     <entry>INI_PERDIR</entry>";
+	print "     <entry><constant>INI_PERDIR</constant></entry>";
 	print "     <entry>2</entry>";
 	print "     <entry>Entry can be set in <filename>.htaccess</filename></entry>";
 	print "    </row>";
 	print "    <row>";
-	print "     <entry>INI_SYSTEM</entry>";
+	print "     <entry><constant>INI_SYSTEM</constant></entry>";
 	print "     <entry>4</entry>";
 	print "     <entry>Entry can be set in <filename>php.ini</filename> or";
 	print "      <filename>httpd.conf</filename></entry>";
 	print "    </row>";
 	print "    <row>";
-	print "     <entry>INI_ALL</entry>";
+	print "     <entry><constant>INI_ALL</constant></entry>";
 	print "     <entry>7</entry>";
 	print "     <entry>Entry can be set anywhere</entry>";
 	print "    </row>";