| Index: trunk/extensions/Gadgets/Gadgets_body.php |
| — | — | @@ -168,7 +168,7 @@ |
| 169 | 169 | // but we'd want it to appear above explicit user stuff, so it can be overwritten. |
| 170 | 170 | |
| 171 | 171 | $t = Title::makeTitleSafe( NS_MEDIAWIKI, $page ); |
| 172 | | - if ( !$t ) continue; |
| | 172 | + if ( !$t ) return; |
| 173 | 173 | |
| 174 | 174 | $u = $t->getLocalURL( 'action=raw&ctype=' . $wgJsMimeType ); |
| 175 | 175 | //switched to addScriptFile call to support scriptLoader |