| Index: trunk/phase3/includes/json/FormatJson.php |
| — | — | @@ -30,7 +30,11 @@ |
| 31 | 31 | // Some versions of PHP have a broken json_encode, see PHP bug |
| 32 | 32 | // 46944. Test encoding an affected character (U+20000) to |
| 33 | 33 | // avoid this. |
| 34 | | - if ( !function_exists( 'json_encode' ) || $isHtml || strtolower( json_encode( "\xf0\xa0\x80\x80" ) ) != '\ud840\udc00' ) { |
| | 34 | + if ( !function_exists( 'json_encode' ) || $isHtml || strtolower( json_encode( "\xf0\xa0\x80\x80" ) ) != '"\ud840\udc00"' ) { |
| | 35 | + var_dump(function_exists('json_encode')); |
| | 36 | + var_dump($isHtml); |
| | 37 | + var_dump(strtolower(json_encode("\xf0\xa0\x80\x80"))); |
| | 38 | + var_dump('\ud840\udc00'); |
| 35 | 39 | $json = new Services_JSON(); |
| 36 | 40 | return $json->encode( $value, $isHtml ); |
| 37 | 41 | } else { |