On Tue, Feb 5, 2019, 9:09 PM Nikita Popov <nikita....@gmail.com wrote: > On Mon, Feb 4, 2019 at 1:32 PM Zeev Suraski <z...@php.net> wrote: > > I think the main question we need to decide if we might want to go a step > further and not just disable PEAR by default, but rather remove the option > from configure entirely. Either right away in PHP-7.4 or in master for PHP > 8.
I would go with a warning in 7.4 and remove entirely in 8. best, Pierre >
