Hello, On Sun, 3 Feb 2019 at 20:00, Joe Watkins <krak...@gmail.com> wrote: > > Already taken care of :) > > On a side note, at what point do we remove stuff from the manual/pecl, the > weakref is extension is dead, can't work with current versions of PHP, and > there was never a stable release ? > > I'm not even sure we have a mechanism to delete stuff from pecl ... there's > probably quite a lot of junk on there ... >
Since PECL extensions is one whole compilation of extensions working "together" and not falling into conflicts with names and similar issues, PECL admins can simply set the package as "superseded by" another package. For example: https://pecl.php.net/package/date_time If another "weakref" PHP extension will be developed elsewhere, different naming can be picked for PECL or if that extension will return to development, different approaches should be done probably for it... -- Peter Kokot -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php