diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2012-05-03 13:01:35 +0200 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2012-05-03 13:01:35 +0200 |
commit | d9022f63880ce039446fba8364f68e656b7bf4cb (patch) | |
tree | 16b40fbf17bf7c9ee6f4ead25b16dd192378050a /extensions/WikiEditor/modules/ext.wikiEditor.toolbar.js | |
parent | 27cf83d177256813e2e802241085fce5dd0f3fb9 (diff) |
Update to MediaWiki 1.19.0
Diffstat (limited to 'extensions/WikiEditor/modules/ext.wikiEditor.toolbar.js')
-rw-r--r-- | extensions/WikiEditor/modules/ext.wikiEditor.toolbar.js | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/extensions/WikiEditor/modules/ext.wikiEditor.toolbar.js b/extensions/WikiEditor/modules/ext.wikiEditor.toolbar.js index 53199375..5cdeae57 100644 --- a/extensions/WikiEditor/modules/ext.wikiEditor.toolbar.js +++ b/extensions/WikiEditor/modules/ext.wikiEditor.toolbar.js @@ -4,11 +4,14 @@ $( document ).ready( function() { if ( !$.wikiEditor.isSupported( $.wikiEditor.modules.toolbar ) ) { + $( '.wikiEditor-oldToolbar' ).show(); return; } // The old toolbar is still in place and needs to be removed so there aren't two toolbars $( '#toolbar' ).remove(); // Add toolbar module // TODO: Implement .wikiEditor( 'remove' ) - $( '#wpTextbox1' ).wikiEditor( 'addModule', $.wikiEditor.modules.toolbar.config.getDefaultConfig() ); + $( '#wpTextbox1' ).wikiEditor( + 'addModule', $.wikiEditor.modules.toolbar.config.getDefaultConfig() + ); } ); |