json_decode -> FormatJson::decode
authorPlatonides <platonides@users.mediawiki.org>
Tue, 4 May 2010 15:29:17 +0000 (15:29 +0000)
committerPlatonides <platonides@users.mediawiki.org>
Tue, 4 May 2010 15:29:17 +0000 (15:29 +0000)
includes/json/FormatJson.php
maintenance/parserTests.inc

index 6db4a23..9a1f57f 100644 (file)
@@ -6,7 +6,7 @@ if( !(defined( 'MEDIAWIKI' ) ) ) {
        die( 1 );
 }
 
-class FormatJson{
+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
index 29b7fc7..ed34141 100644 (file)
@@ -1541,7 +1541,7 @@ class RemoteTestRecorder extends TestRecorder {
                        print "CodeReview info upload failed to reach server.\n";
                        exit( 1 );
                }
-               $responseData = json_decode( $response, true );
+               $responseData = FormatJson::decode( $response, true );
                if( !is_array( $responseData ) ) {
                        print "CodeReview API response not recognized...\n";
                        wfDebug( "Unrecognized CodeReview API response: $response\n" );