On Fri, 27 Nov 2020 at 17:44, G. P. B. <george.bany...@gmail.com> wrote:
> PRs are always welcome on https://github.com/php/web-php :) > > PS: Please try to remember to bottom post and not top post. > Thanks for the pointer! Submitted as https://github.com/php/web-php/pull/364 And sorry for the top-post, I happen to forget it from time to time. — Benjamin