| Index: trunk/extensions/Gadgets/Gadgets.php |
| — | — | @@ -222,7 +222,8 @@ |
| 223 | 223 | |
| 224 | 224 | if ( preg_match( '/\.js/', $codePage ) ) { |
| 225 | 225 | $u = $t->getLocalURL( 'action=raw&ctype=' . $wgJsMimeType ); |
| 226 | | - $out->addScript( '<script type="' . $wgJsMimeType . '" src="' . htmlspecialchars( $u ) . '"></script>' . "\n" ); |
| | 226 | + //switched to addScriptFile call to support scriptLoader |
| | 227 | + $out->addScriptFile( $u ); |
| 227 | 228 | } |
| 228 | 229 | else if ( preg_match( '/\.css/', $codePage ) ) { |
| 229 | 230 | $u = $t->getLocalURL( 'action=raw&ctype=text/css' ); |