Hi!
On 4 Oct 2014, at 03:38, Ivan Enderlin @ Hoa
wrote:
> Hello :-),
>
> Does anyone know something about this bug:
> https://bugs.php.net/bug.php?id=68128 ?
Yeah, I’ve addressed it with a PR: https://github.com/php/php-src/pull/865
Basically, this behaviour was introduced with
d81ea16ef14
Hello :-),
Does anyone know something about this bug:
https://bugs.php.net/bug.php?id=68128 ?
Thanks!
--
Ivan Enderlin
Developer of Hoa
http://hoa-project.net/
PhD. at DISC/Femto-ST (Vesontio) and INRIA (Cassis)
http://disc.univ-fcomte.fr/ and http://www.inria.fr/
Member of HTML and WebApps
