Den tor. 5. jul. 2018 kl. 22.46 skrev Nikita Popov <nikita....@gmail.com>: > Sounds reasonable to me. My only question would be when we would start > emitting the deprecation notice. I'm not a fan of deprecating things in the > same release as the alternative is introduced, so I would suggest to add the > new alias in PHP 7.3 and perform the deprecation in PHP 7.4.
I agree here, I don't think a simple constant would hurt too much to add outside the scope of this RFC so I will go ahead and do soonish that if no one else objects. Then we can move the section to the 7.4 Deprecation WIP RFC. All in all I think its a much cleaner migration path -- regards, Kalle Sommer Nielsen ka...@php.net -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php