Re: Re: disabling dead pecl extensions from pecl install

So to clarify, is the following going to happen? 1. People are told to use the <max> attribute in package.xml when necessary which may be: A) When a pecl extension is killed and moved to core (typically) B) When a core extension is killed and moved to pecl (depends) C) When we determine an extension should not be used (always) 2. The 'other' data 'pecl install' uses can be edited via the web interface 3. A hack to edit package.xml of the last release and insert <max> will be added via the web interface And Pierre, are you adding all or some of these things? Not sure about #3, it seems a little scary but maybe it's fine. Also, do we want the ability to remove some of these packages from the package listing? I'm referring to here: - http://pecl.php.net/packages.php Maybe an additional package listing named something like POO (Pecl Of Old). :) Regards, Philip