[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 Best regards, Mark