[PHP-DOC] cvs: phpdoc /en/reference/misc ini.xml

[Jakub Vrana]

vrana           Mon Dec 15 12:30:22 2003 EDT

  Modified files:              
    /phpdoc/en/reference/misc   ini.xml 
  Log:
  Different default colors
  
Index: phpdoc/en/reference/misc/ini.xml
diff -u phpdoc/en/reference/misc/ini.xml:1.4 phpdoc/en/reference/misc/ini.xml:1.5
--- phpdoc/en/reference/misc/ini.xml:1.4        Sat Jun 21 06:28:51 2003
+++ phpdoc/en/reference/misc/ini.xml    Mon Dec 15 12:30:22 2003
@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="iso-8859-1"?>
-<!-- $Revision: 1.4 $ -->
+<!-- $Revision: 1.5 $ -->
 <section id="misc.configuration">
  &reftitle.runtime;
  &extension.runtime;
@@ -22,7 +22,7 @@
      </row>
      <row>
       <entry>highlight.string</entry>
-      <entry>#CC0000</entry>
+      <entry>#DD0000</entry>
       <entry>PHP_INI_ALL</entry>
      </row>
      <row>
@@ -32,7 +32,7 @@
      </row>
      <row>
       <entry>highlight.keyword</entry>
-      <entry>#006600</entry>
+      <entry>#007700</entry>
       <entry>PHP_INI_ALL</entry>
      </row>
      <row>
@@ -42,7 +42,7 @@
      </row>
      <row>
       <entry>highlight.default</entry>
-      <entry>#0000CC</entry>
+      <entry>#0000BB</entry>
       <entry>PHP_INI_ALL</entry>
      </row>
      <row>