[PATCH] PHP 5.2.7rc2: a bug that I'd like to see fixed in 5.2.7

Hi,

We got some problems with PHP with wddx functions which consider PHP's
side will always be "ISO-8859-1".

I wrote/tested a patch to fix this issue, against PHP 5.2.7rc2.

Bugreport:

http://bugs.php.net/bug.php?id=46496

NB: the bug has been marked "bogus". I believe this is due to the fact
the bugtracker isn't able to accept unicode characters, and
converted my
input to HTML gibberish.

The patch itself:

http://ookoo.org/svn/snip/php-5.2.7rc2_wddx_utf8_resolved.patch

seems like he is right .. someone willing to look at the patch and
mark the bug as fixed once the patch is applied?

regards,
Lukas Kahwe Smith
mls@pooteeweet.org