On Friday 29 August 2014 11:59:50 Ferenc Kovacs wrote: > in the meantime, could you please report a bug about this, so that we won't > forget it (and there is a chance that somebody else can also help figuring > out what's happening here).
https://bugs.php.net/bug.php?id=67931
