Philip Olson wrote: > On 16 Mar 2008, at 12:48, Edward Z. Yang wrote: > > > phpdoc@lists.php.net wrote: > >> Following are the top 20 pages of the manual, sorted by the number > >> of user notes contributed. These sections could use a polish, those > >> notes represent 7.7% of the 20009 total user notes. > > > > 20000 notes! I don't know if we should be celebrating or fearing this > > milestone. :-) > > Both :)
I do recall one of the early doc team pioneers (Egon, Stig?) wondering this same thing years ago when the notes were first proposed. Still probably one of the handiest tools around. Best regards, Mike Robinson
