cvs: phpdoc /en/reference/misc ini.xml
| From: | Jakub Vrana | Date: | Mon, 15 Dec 2003 17:30:22 +0000 |
| Subject: | cvs: phpdoc /en/reference/misc ini.xml | ||
| Groups: | php.doc | ||
| Request: | Send a blank email to phpdoc+get-969357464@lists.php.net to get a copy of this message | ||
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>