blob: f7373e450af3d5bae42420f6e8c3b144191f1960 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
|
<?php
/**
* Simple wrapper for json_econde and json_decode that falls back on Services_JSON class
*
* @file
*/
if ( !defined( 'MEDIAWIKI' ) ) {
die( 1 );
}
require_once dirname( __FILE__ ) . '/Services_JSON.php';
/**
* JSON formatter wrapper class
*/
class FormatJson {
/**
* Returns the JSON representation of a value.
*
* @param $value Mixed: the value being encoded. Can be any type except a resource.
* @param $isHtml Boolean
*
* @todo FIXME: "$isHtml" parameter's purpose is not documented. It appears to
* map to a parameter labeled "pretty-print output with indents and
* newlines" in Services_JSON::encode(), which has no string relation
* to HTML output.
*
* @return string
*/
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 );
}
}
/**
* Decodes a JSON string.
*
* @param $value String: the json string being decoded.
* @param $assoc Boolean: when true, returned objects will be converted into associative arrays.
*
* @return Mixed: the value encoded in json in appropriate PHP type.
* Values true, false and null (case-insensitive) are returned as true, false
* and &null; respectively. &null; is returned if the json cannot be
* decoded or if the encoded data is deeper than the recursion limit.
*/
public static function decode( $value, $assoc = false ) {
if ( !function_exists( 'json_decode' ) ) {
$json = $assoc ? new Services_JSON( SERVICES_JSON_LOOSE_TYPE ) :
new Services_JSON();
$jsonDec = $json->decode( $value );
return $jsonDec;
} else {
return json_decode( $value, $assoc );
}
}
}
|
