ID: 35122 Updated by: [EMAIL PROTECTED] Reported By: jmarbas at hotmail dot com -Status: Assigned +Status: Closed Bug Type: Documentation problem Operating System: n/a PHP Version: Irrelevant Assigned To: nlopess New Comment:
This bug has been fixed in the documentation's XML sources. Since the online and downloadable versions of the documentation need some time to get updated, we would like to ask you to be a bit patient. Thank you for the report, and for helping us make our documentation better. i've added that by hand. The script will be tweaked later. I'm closing this because the script itself generates a list of problematic ini options, like this. Previous Comments: ------------------------------------------------------------------------ [2005-11-07 01:35:36] [EMAIL PROTECTED] scripts/iniupdate/ should be adjusted to fix this. ------------------------------------------------------------------------ [2005-11-06 03:59:00] jmarbas at hotmail dot com Description: ------------ On this page 'http://us3.php.net/manual/en/ini.core.php#ini.extension' you have the following description of the 'extension' directive below: extension string Which dynamically loadable extensions to load when PHP starts up. But the word 'extension' isnt listed in the table of directives above... in the 'Table G-7. Paths and Directories Configuration Options' above the description ------------------------------------------------------------------------ -- Edit this bug report at http://bugs.php.net/?id=35122&edit=1