| Index: trunk/extensions/CentralNotice/special/SpecialBannerController.php |
| — | — | @@ -110,7 +110,7 @@ |
| 111 | 111 | } |
| 112 | 112 | }, |
| 113 | 113 | chooseBanner: function( bannerList ) { |
| 114 | | - mw.loader.using('mediawiki.user', function() { |
| | 114 | + mw.loader.using( 'mediawiki.user', function() { |
| 115 | 115 | var groomedBannerList = [], i, j, pointer; |
| 116 | 116 | |
| 117 | 117 | // Make sure there are some banners to choose from |