On Aug 28, 2015, at 2:15 PM, Marc Delisle
<marc(a)infomarc.info> wrote:
They may ask for a bug to be filed on
bugs.php.net so it can be
tracked. I did a quick search and it doesn’t seem like one has been
reported yet. Did you want the honours of filing?