On 26.06.2018 at 19:15, Nikita Popov wrote: > On Sun, Jun 24, 2018 at 10:29 PM, Christoph M. Becker <cmbecke...@gmx.de> > wrote: > >> I've recently submitted <https://github.com/php/php-src/pull/3322> to >> deprecate FILTER_FLAG_SCHEME_REQUIRED and FILTER_FLAG_HOST_REQUIRED. I >> don't think this needs an RFC, but it might be something which could be >> added to this RFC? > > I've added these deprecations to the RFC. Please feel free to update the > description if you'd like to add something.
Thanks. It's already very well done. :) -- Christoph M. Becker -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
