| Index: trunk/extensions/Gadgets/Gadgets_body.php |
| — | — | @@ -164,14 +164,10 @@ |
| 165 | 165 | private static function applyScript( $page, $out ) { |
| 166 | 166 | global $wgJsMimeType; |
| 167 | 167 | |
| 168 | | - //FIXME: stuff added via $out->addScript appears below usercss and userjs |
| 169 | | - // but we'd want it to appear above explicit user stuff, so it can be overwritten. |
| 170 | | - |
| 171 | 168 | $t = Title::makeTitleSafe( NS_MEDIAWIKI, $page ); |
| 172 | 169 | if ( !$t ) return; |
| 173 | 170 | |
| 174 | 171 | $u = $t->getLocalURL( 'action=raw&ctype=' . $wgJsMimeType ); |
| 175 | | - //switched to addScriptFile call to support scriptLoader |
| 176 | 172 | $out->addScriptFile( $u, $t->getLatestRevID() ); |
| 177 | 173 | } |
| 178 | 174 | |