Follow-up r72941: don't use json_encode() directly
authorMax Semenik <maxsem@users.mediawiki.org>
Tue, 14 Sep 2010 11:58:09 +0000 (11:58 +0000)
committerMax Semenik <maxsem@users.mediawiki.org>
Tue, 14 Sep 2010 11:58:09 +0000 (11:58 +0000)
includes/ResourceLoader.php

index 01a909f..4e7b084 100644 (file)
@@ -149,7 +149,7 @@ class ResourceLoader {
                foreach ( self::$modules as $name => $module ) {
                        // Support module loader scripts
                        if ( ( $loader = $module->getLoaderScript() ) !== false ) {
-                               $deps = json_encode( $module->getDependencies() );
+                               $deps = FormatJson::encode( $module->getDependencies() );
                                $version = wfTimestamp( TS_ISO_8601, round( $module->getModifiedTime( $context ), -2 ) );
                                $scripts .= "( function( name, version, dependencies ) { $loader } )( '$name', '$version', $deps );";
                        }