Hi Derick. > The 5.3.14 result is correct. It was apparently a bug in earlier 5.3 > versions. > > cheers, > Derick
Thanks for this hint. So I guess that Debian has not ported the bugfix. Do you know the Git Revision of the patch? I would like to inform the PHP maintainers of Debian so that they can easily integrate the fix. Thanks for help!