> > Are there any well-founded objections to this (either in practice > > or principle)? > > no objections, but one thing that should be considered is what happens > to the documentation for these extensions when they are no longer a part > of the core distribution.
Documentation should really be an important issue, too I think. In my opinion, the docs of the moved-out extensions should go into the Peardoc repository, but I don't exactly know, how far the setup of the Doc-Platform for PEAR is. -- Marcel "mazen" Beerta http://www.mazenphp.de | http://www.etcpasswd.de [EMAIL PROTECTED] -- PHP Development Mailing List <http://www.php.net/> To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED] To contact the list administrators, e-mail: [EMAIL PROTECTED]