On Sun, Jun 24, 2018 at 10:29 PM, Christoph M. Becker <cmbecke...@gmx.de> wrote:
> 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? > I've added these deprecations to the RFC. Please feel free to update the description if you'd like to add something. I think it would have been fine to also land these deprecations directly (as you already wrote to internals about it in the past), but as the have the opportunity, we might as well go through the motions. Nikita
