FormatJson.php

Go to the documentation of this file.

<?php
if ( !defined( 'MEDIAWIKI' ) ) {
        die( 1 );
}

require_once dirname( __FILE__ ) . '/Services_JSON.php';

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 = $assoc ? new Services_JSON( SERVICES_JSON_LOOSE_TYPE ) :
                                new Services_JSON();
                        $jsonDec = $json->decode( $value );
                        return $jsonDec;
                } else {
                        return json_decode( $value, $assoc );
                }
        }

}