| Index: trunk/extensions/Translate/utils/TranslationHelpers.php |
| — | — | @@ -161,7 +161,7 @@ |
| 162 | 162 | $boxes = array(); |
| 163 | 163 | |
| 164 | 164 | if ( $suggestions !== false ) { |
| 165 | | - $suggestions = json_decode( $suggestions, true ); |
| | 165 | + $suggestions = FormatJson::decode( $suggestions, true ); |
| 166 | 166 | foreach ( $suggestions as $s ) { |
| 167 | 167 | // No use to suggest them what they are currently viewing |
| 168 | 168 | if ( $s['context'] === "$ns:{$this->page}" ) continue; |
| — | — | @@ -239,7 +239,7 @@ |
| 240 | 240 | if ( $wgGoogleApiKey ) $options['postData']['key'] = $wgGoogleApiKey; |
| 241 | 241 | |
| 242 | 242 | $google_json = Http::post( $path, $options ); |
| 243 | | - $response = json_decode( $google_json ); |
| | 243 | + $response = FormatJson::decode( $google_json ); |
| 244 | 244 | |
| 245 | 245 | if ( $google_json === false ) { |
| 246 | 246 | wfWarn( __METHOD__ . ': Http::get failed' ); |
| — | — | @@ -614,4 +614,4 @@ |
| 615 | 615 | |
| 616 | 616 | return $wgUser->getSkin()->link( $target, $text, $jsEdit, $params ); |
| 617 | 617 | } |
| 618 | | -} |
| \ No newline at end of file |
| | 618 | +} |