On Sat, Feb 1, 2020 10:22 AM firstname.lastname@example.org> 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.