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:vsura...@gmail.com] Sent: Tuesday, July 10, 2018 11:05 AM To: Nikita Popov <nikita....@gmail.com> Cc: Sara Golemon <poll...@php.net>; Christoph M. Becker <cmbecke...@gmx.de>; Kalle Sommer Nielsen <ka...@php.net>; Internals <internals@lists.php.net> Subject: Re: [PHP-DEV] [RFC] Deprecations for PHP 7.3 Thanks for choosing not to push it for 7.3.
