wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-28 02:00:34 +00:00
Code Issues Packages Projects Releases Wiki Activity

removed addMediaWizard gadget ( should be supported via dedicated extension 'AddMediaWizard' )

Browse source
This commit is contained in:
Michael Dale 2011-03-11 21:42:03 +00:00
parent a2a3d01898
commit 203a9133a2
2 changed files with 1 additions and 20 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
WikiEditor.php
View file

@ -38,11 +38,7 @@ $wgWikiEditorFeatures = array(
'templateEditor' => array( 'global' => false, 'user' => false ),
// Bare-bones (probably broken) template collapsing
'templates' => array( 'global' => false, 'user' => false ),
/* Unknown status */
// Adds the AddMediaWizard gadget to the toolbar
'addMediaWizard' => array( 'global' => false, 'user' => false ),
);
/* Setup */

15
modules/ext.wikiEditor.addMediaWizard.js
View file

@ -1,15 +0,0 @@
/*
* JavaScript for WikiEditor AddMediaWizard integration
*/
$( document ).ready( function() {
if ( typeof mwAddMediaConfig == 'undefined' ) {
mwAddMediaConfig = {};
}
mwAddMediaConfig['enabled_providers'] = [ 'wiki_commons', 'upload' ];
// Transclude mwEmbed support
mediaWiki.loader.load(
'http://prototype.wikimedia.org/s-2/js/mwEmbed/remotes/mediaWiki.js?&uselang=' + wgUserLanguage,
'text/javascript'
);
};