Le 2015-08-28 13:18, Morgan Tocker a écrit :
Hi Marc,
On Aug 28, 2015, at 12:46 PM, Marc Delisle marc@infomarc.info wrote:
see issue 11438 for the PHP problems we have.
Thanks for the heads up!
I’ve forwarded it to our PHP driver guys internally.
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?
https://bugs.php.net/bug.php?id=70384