Bug #16477: php.ini-dist refers to README.logging, which doesn't exist

From: pgl@instinct.org Operating system: FreeBSD PHP version: 4.1.2 PHP Bug Type: Documentation problem Bug description: php.ini-dist refers to README.logging, which doesn't exist I have just installed a fresh machine with php-4.1.2, and found that under the [Logging] section of php.ini-dist, it says: [Logging] ; These configuration directives are used by the example logging mechanism. ; See examples/README.logging for more explanation. ;logging.method = db ;logging.directory = /path/to/log/directory However, I cannot find README.logging anywhere on my machine: [mili:root]:/usr/local/src/php/php-4.1.2 # find / -name README.logging | wc -l 0 Also, there is no 'examples' directory in either the directory created when untarring the source file, or /usr/local/lib/php. -- Edit bug report at http://bugs.php.net/?id=16477&edit=1 -- Fixed in CVS: http://bugs.php.net/fix.php?id=16477&r=fixedcvs Fixed in release: http://bugs.php.net/fix.php?id=16477&r=alreadyfixed Need backtrace: http://bugs.php.net/fix.php?id=16477&r=needtrace Try newer version: http://bugs.php.net/fix.php?id=16477&r=oldversion Not developer issue: http://bugs.php.net/fix.php?id=16477&r=support Expected behavior: http://bugs.php.net/fix.php?id=16477&r=notwrong Not enough info: http://bugs.php.net/fix.php?id=16477&r=notenoughinfo Submitted twice: http://bugs.php.net/fix.php?id=16477&r=submittedtwice