On 24.06.2018 at 18:47, Nikita Popov wrote:

> This RFC collects a number of deprecations for PHP 7.3 which I consider to
> be too minor to warrant a separate proposal. However, each deprecation will
> still be voted separately.
> 
> https://wiki.php.net/rfc/deprecations_php_7_3

Thanks.  FWIW, I'm +1 on all 4 proposals.

> If you have a minor deprecation in mind, but were too lazy to write an RFC
> for it, please write me a mail until tomorrow, so that it might be included
> as part of this proposal. As time is limited I don't want to include
> anything larger or controversial in this RFC though.

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?

-- 
Christoph M. Becker

-- 
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php

Reply via email to