2009-09-10 16:56:58 +00:00
|
|
|
<?php
|
2009-09-10 14:33:25 +00:00
|
|
|
/*
|
|
|
|
|
* simple wrapper for json_econde and json_decode that falls back on Services_JSON class
|
|
|
|
|
*/
|
|
|
|
|
if( !(defined( 'MEDIAWIKI' ) ) ) {
|
|
|
|
|
die( 1 );
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
class FormatJson{
|
|
|
|
|
public static function encode($value, $isHtml=false){
|
|
|
|
|
// Some versions of PHP have a broken json_encode, see PHP bug
|
|
|
|
|
// 46944. Test encoding an affected character (U+20000) to
|
|
|
|
|
// avoid this.
|
|
|
|
|
if (!function_exists('json_encode') || $isHtml || strtolower(json_encode("\xf0\xa0\x80\x80")) != '\ud840\udc00') {
|
|
|
|
|
$json = new Services_JSON();
|
|
|
|
|
return $json->encode($value, $isHtml) ;
|
|
|
|
|
} else {
|
|
|
|
|
return json_encode($value);
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
public static function decode($value, $assoc=false){
|
|
|
|
|
if (!function_exists('json_decode') ) {
|
|
|
|
|
$json = new Services_JSON();
|
|
|
|
|
$jsonDec = $json->decode($value);
|
|
|
|
|
if($assoc)
|
|
|
|
|
$jsonDec = (array) $jsonDec;
|
|
|
|
|
return $jsonDec;
|
|
|
|
|
} else {
|
|
|
|
|
return json_decode($value, $assoc);
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|
