Re: PHP_Extension package

Philippe Jausions wrote:

Ok, 3 things: - 1st, sorry for the "delivery notice" (forgot to turn that off) - 2nd: Since PEAR::loadExtension() exists (my bad for not checking), I propose to add my code to that method instead. I'll create a .diff file and post a "bug" for it. - 3rd: My code was missing some file extension checks, I'll fix that.

I would prefer to extract your code from the PEAR base class. It should be a part of the PEAR package, however. Perhaps the details can be worked out for inclusion in PEAR 1.4? In my opinion, the entire PEAR.php should be deprecated, as most of the features are hacks of streamlined PHP 5 features (nobody could have foreseen this when it was written, of course) Regards, Greg