On Tue, Feb 5, 2019, 9:09 PM Nikita Popov <[email protected] wrote: > On Mon, Feb 4, 2019 at 1:32 PM Zeev Suraski <[email protected]> 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 >
