MediaWiki 1.16.0

[autoinstallsdev/mediawiki.git] / includes / json / FormatJson.php

diff --git a/includes/json/FormatJson.php b/includes/json/FormatJson.php
new file mode 100644 (file)
index 0000000..6db4a23
--- /dev/null
+++ b/includes/json/FormatJson.php
@@ -0,0 +1,32 @@
+<?php
+/*
+ * 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 = wfObjectToArray( $jsonDec );
+                       return $jsonDec;
+               } else {
+                       return json_decode( $value, $assoc );
+               }
+       }
+}