fixed some typos

git-svn-id: https://svn.php.net/repository/phpdoc/en/trunk@43851 c90b9560-bf6c-de11-be94-00142212c4b1
This commit is contained in:
Jesus M. Castagnetto 2001-03-19 12:49:03 +00:00
parent 3e1331e434
commit 45a9d1b8b3

View file

@ -594,8 +594,8 @@ echo $dat["ru_utime.tv_usec"]; # user time used (microseconds)
<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">