mediawiki-extensions-WikiEd.../modules
Derk-Jan Hartman 1b02e98296 Toolbar: Remove Opera redraw hack
The versions of Opera that this was targeting aren't really supported
anymore anyways. So let's just remove this hack.

Bug: T106574
Change-Id: I1b11fc8ec30f3c33b681daff7f676fa965fb78cb
2015-07-22 21:06:28 +02:00
..
images Updated insert-signature image 2015-07-14 08:31:17 +00:00
ext.wikiEditor.dialogs.js Peserve jQuery references to avoid conflicts 2013-11-06 23:34:46 +01:00
ext.wikiEditor.js Reduce 'Edit' EventLogging schema sampling rate to 6.25% (1/16th) 2015-06-18 16:39:29 -07:00
ext.wikiEditor.less Convert .css to .less 2015-03-09 21:24:23 -04:00
ext.wikiEditor.preview.js Peserve jQuery references to avoid conflicts 2013-11-06 23:34:46 +01:00
ext.wikiEditor.publish.js Peserve jQuery references to avoid conflicts 2013-11-06 23:34:46 +01:00
ext.wikiEditor.toolbar.hideSig.js Peserve jQuery references to avoid conflicts 2013-11-06 23:34:46 +01:00
ext.wikiEditor.toolbar.js Peserve jQuery references to avoid conflicts 2013-11-06 23:34:46 +01:00
ext.wikiEditor.toolbar.styles.less Convert .css to .less 2015-03-09 21:24:23 -04:00
jquery.wikiEditor.dialogs.config.js Replace deprecated 'jquery.mwExtension' by 'mediawiki.RegExp' 2015-06-26 15:10:20 +00:00
jquery.wikiEditor.dialogs.config.less Rework color definitions in LESS 2015-04-14 21:39:04 +00:00
jquery.wikiEditor.dialogs.js Apply coding conventions for JavaScript 2014-04-30 10:59:01 +00:00
jquery.wikiEditor.dialogs.less Rework color definitions in LESS 2015-04-14 21:39:04 +00:00
jquery.wikiEditor.html Style code 2015-03-14 15:49:04 +00:00
jquery.wikiEditor.js Remove unused parameter lang from $.wikiEditor.auto* functions 2015-06-22 07:08:54 +00:00
jquery.wikiEditor.less Rework color definitions in LESS 2015-04-14 21:39:04 +00:00
jquery.wikiEditor.preview.js Use mw.Api() instead of $.ajax() 2015-01-07 18:25:47 +00:00
jquery.wikiEditor.preview.less Rework color definitions in LESS 2015-04-14 21:39:04 +00:00
jquery.wikiEditor.publish.js Reformat the license warning only if available 2015-03-14 18:10:52 +00:00
jquery.wikiEditor.toolbar.config.js Merge "WikiEditor: Improve help section" 2015-07-21 16:56:45 +00:00
jquery.wikiEditor.toolbar.js Toolbar: Remove Opera redraw hack 2015-07-22 21:06:28 +02:00
jquery.wikiEditor.toolbar.less Fix spaces 2015-07-20 07:12:45 +00:00