Upon re-reading what you wrote, I realized that I in fact misread what you wrote and you didn't make a decision on whether to push for including it in 7.3 or not (I guess I was reading what I was expecting/hoping to read and not what was actually there...). Sorry for that, I did not mean to force words into your mouth.
Zeev -----Original Message----- From: Zeev Suraski [mailto:[email protected]] Sent: Tuesday, July 10, 2018 11:05 AM To: Nikita Popov <[email protected]> Cc: Sara Golemon <[email protected]>; Christoph M. Becker <[email protected]>; Kalle Sommer Nielsen <[email protected]>; Internals <[email protected]> Subject: Re: [PHP-DEV] [RFC] Deprecations for PHP 7.3 Thanks for choosing not to push it for 7.3.
