jmcastagnetto           Mon Mar 19 04:49:03 2001 EDT

  Modified files:              
    /phpdoc/en/functions        info.xml 
  Log:
  fixed some typos
  
  
Index: phpdoc/en/functions/info.xml
diff -u phpdoc/en/functions/info.xml:1.42 phpdoc/en/functions/info.xml:1.43
--- phpdoc/en/functions/info.xml:1.42   Mon Mar 19 04:46:22 2001
+++ phpdoc/en/functions/info.xml        Mon Mar 19 04:49:03 2001
@@ -594,8 +594,8 @@
     <para>
      Not all the available options can be changed using
      <function>ini_set</function>. Below is a table with a list of all
-     option (as of PHP 4.0.5-dev), indicating which ones can be changed/set
-     and at what level.
+     PHP options (as of PHP 4.0.5-dev), indicating which ones can be 
+     changed/set and at what level.
      <table>
       <title>Configuration options</title>
       <tgroup cols="3">


Reply via email to