cvs: php-bugs-web / how-to-report.php

derick Sat Jan 18 07:40:35 2003 EDT Modified files: /php-bugs-web how-to-report.php Log: - We are actually interested in this, as nobody really uses those tools. Index: php-bugs-web/how-to-report.php diff -u php-bugs-web/how-to-report.php:1.2 php-bugs-web/how-to-report.php:1.3 --- php-bugs-web/how-to-report.php:1.2 Sun Sep 23 21:07:55 2001 +++ php-bugs-web/how-to-report.php Sat Jan 18 07:40:35 2003 @@ -105,12 +105,6 @@ new bug report for each one. This makes it easier for different people to help with the different bugs.</p> -<h2>Don't report missing functions in the documentation.</h2> - -<p>We already know about it. We have tools that tell us when there are -functions that haven't been documented. There are <a -href="http://www.php.net/support.php">lots of places you can get help</a>.</p> - <h2>Check out these other resources.</h2> <ul>