On Sat, Feb 1, 2020 10:22 AM <nikita....@gmail.com> wrote: > Looks much better! If you submit a pull request, I can leave some more > detailed comments.
Okay, I will submit a pull request with my changes. > If you would like to start an RFC on this topic, please sign up for a wiki > account (https://wiki.php.net/rfc/howto) and send me your username. My Wiki account name is jbtronics. Thank you, Jan Böhmer -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php