Hi all, I have considered maps ... since it is possible to do in userland, I don't consider it super urgent, and even if you do, it doesn't become urgent until PHP 7.4 is much closer to release.
So, we have almost a year; If this flies in, it's *highly* likely I'll follow it up ... but don't really want to spend any more time on it until I know it's worthwhile. Cheers Joe On Mon, 4 Feb 2019 at 14:30, Michael Wallner <m...@php.net> wrote: > On 03/02/2019 22:49, Christoph M. Becker wrote: > > > > > Not sure about removal from the PHP manual. This may never have > > happened before (except for PECL/idn which conflicted with ext/intl). > > Might be better to discuss this on the doc mailing list. > > > > F'up2 <php...@lists.php.net> > > > > Oh, it happened. I deleted http-v1 docs a few years ago. > > -- > Regards, > Mike > >
