Re: [PHP-DEV] Bug #6248 Updated: parent:: is undocumented

2001-05-19 Thread Hartmut Holzgraefe
Jani Taskinen wrote: Do not close any bug reports before the possible bug is REALLY fixed. so you claim it has *not* been fixed by the latest updates that kk made to phpdoc/en/language/oop.xml ??? ;) -- Hartmut Holzgraefe [EMAIL PROTECTED] http://www.six.de +49-711-99091-77 -- PHP

Re: [PHP-DEV] Bug #6248 Updated: parent:: is undocumented

2001-05-19 Thread Jeroen van Wolffelaar
On Sat, 19 May 2001, Hartmut Holzgraefe wrote: Jani Taskinen wrote: Do not close any bug reports before the possible bug is REALLY fixed. so you claim it has *not* been fixed by the latest updates that kk made to phpdoc/en/language/oop.xml ??? ;) I'd almost say: RTFM :-D Jeroen van

Re: [PHP-DEV] Bug #6248 Updated: parent:: is undocumented

2001-05-19 Thread Jani Taskinen
On Sat, 19 May 2001, Hartmut Holzgraefe wrote: Jani Taskinen wrote: Do not close any bug reports before the possible bug is REALLY fixed. so you claim it has *not* been fixed by the latest updates that kk made to phpdoc/en/language/oop.xml ??? ;) I see now that it is. (RTFM :) He did close

Re: [PHP-DEV] Bug #6248 Updated: parent:: is undocumented

2001-05-19 Thread jeroen
He did close some bugs before they were fixed. True, but they are NOW really fixed. Others already pointed me at that. Again: I'm sorry, I won't do it anymore, etc etc The choice of words also got in my eye: being :) But I wasn't referring to this particular bug! --Jani Jeroen -- PHP