Hi Nuno, On Tue, 2006-02-28 at 22:54 +0000, Nuno Lopes wrote: > Hi, > > I'm not sure we want to apply this patch. This will make the page too big > and too verbose.
The final decision will be of course up to you guys, but I would hope that the patch be applied. The patch would make the page a little too big, like you say, but I would vote for the consistency in page format (I don't see constants given as ranges elsewhere), than a slight page size increase in just one extension. But again, I won't hold it against you even if you decide not to apply the patch. ;-) > Why don't you crawl the PHP sources directly, instead of reading the docs, > which can be outdated and/or incorrect? It's easier to parse the doc files because they are already well structured in XML. Plus the PHP sources don't have those nice function/constant descriptions that the doc files have, and we prefer to provide them too in our app. That makes it easier for the users to understand and choose the right function/constant etc, based on the description being presented to them. A slight inaccuracy and outdatedness would be fine, as long as we can spot and correct it, in which case we will be sending you guys a patch, of course. Kohei -- Kohei Yoshida, Software Engineer SlickEdit Inc. [ http://www.slickedit.com/ ]