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