jeroen Fri Sep 21 22:23:44 2001 EDT
Modified files:
/phpdoc/scripts sort_aliases.php
/phpdoc/en/appendices aliases.xml
Log:
Revert that, turns out that I manually removed that duplicate entry... Also no
bug thus...
Index: phpdoc/scripts/sort_aliases.php
diff -u phpdoc/scripts/sort_aliases.php:1.2 phpdoc/scripts/sort_aliases.php:1.3
--- phpdoc/scripts/sort_aliases.php:1.2 Fri Sep 21 22:05:52 2001
+++ phpdoc/scripts/sort_aliases.php Fri Sep 21 22:23:43 2001
@@ -60,7 +60,7 @@
if (isset($entries[$key])) {
// duplicate key, in order to get a stable sorting, add NUL byte and
// (line number + 1000000)
- $key .= "\1".(1000000+$nr);
+ $key .= "\0".(1000000+$nr);
}
$entries[$key] = $entry;
Index: phpdoc/en/appendices/aliases.xml
diff -u phpdoc/en/appendices/aliases.xml:1.10 phpdoc/en/appendices/aliases.xml:1.11
--- phpdoc/en/appendices/aliases.xml:1.10 Fri Sep 21 22:05:52 2001
+++ phpdoc/en/appendices/aliases.xml Fri Sep 21 22:23:44 2001
@@ -1,5 +1,5 @@
<?xml encoding="iso-8859-1"?>
-<!-- $Revision: 1.10 $ -->
+<!-- $Revision: 1.11 $ -->
<appendix id="aliases">
<title>Aliases list</title>
<para>
@@ -86,11 +86,6 @@
<row>
<entry>attributes</entry>
<entry><function>domxml_attributes</function></entry>
- <entry><link linkend="ref.domxml">DOM XML</link></entry>
-</row>
-<row>
- <entry>children</entry>
- <entry><function>domxml_children</function></entry>
<entry><link linkend="ref.domxml">DOM XML</link></entry>
</row>
<row>
