mediawiki-extensions-WikiEd.../modules
Derk-Jan Hartman 39e3676b35 Revert "Remove unneeded show() in WikiEditor toolbar"
because apparently we do have empty tools boxes. Alternative
implementation in I4652ade66c6de864ee3e74b3817ed9b93967ce3d

This reverts commit dd46fc383b.

Change-Id: I358c34d63261989d49b0a4156cbc05b544727d5c
2014-03-24 22:30:55 +01:00
..
images Merge "Removed indentation button from WikiEditor toolbar." 2014-03-12 12:04:39 +00:00
contentCollector.js * bump version to 0.3.1 2011-09-13 08:56:32 +00:00
ext.wikiEditor.css Hide MediaWiki's "Editing help" link, as we provide it in the toolbar 2013-07-26 12:20:08 +02:00
ext.wikiEditor.dialogs.js Peserve jQuery references to avoid conflicts 2013-11-06 23:34:46 +01:00
ext.wikiEditor.highlight.js Peserve jQuery references to avoid conflicts 2013-11-06 23:34:46 +01:00
ext.wikiEditor.js Peserve jQuery references to avoid conflicts 2013-11-06 23:34:46 +01:00
ext.wikiEditor.preview.js Peserve jQuery references to avoid conflicts 2013-11-06 23:34:46 +01:00
ext.wikiEditor.previewDialog.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.templateEditor.js Kranitor: Make JSHint pass 2013-11-10 07:36:03 +00:00
ext.wikiEditor.templates.js Peserve jQuery references to avoid conflicts 2013-11-06 23:34:46 +01:00
ext.wikiEditor.tests.toolbar.js Kranitor: Make JSHint pass 2013-11-10 07:36:03 +00:00
ext.wikiEditor.toc.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
jquery.wikiEditor.css Fix border css 2014-03-22 17:44:25 +00:00
jquery.wikiEditor.dialogs.config.css Fix border css 2014-03-22 17:44:25 +00:00
jquery.wikiEditor.dialogs.config.js Kranitor: Make JSHint pass 2013-11-10 07:36:03 +00:00
jquery.wikiEditor.dialogs.css WikiEditor: Linting and conventions 2012-07-17 13:27:27 -07:00
jquery.wikiEditor.dialogs.js Kranitor: Make JSHint pass 2013-11-10 07:36:03 +00:00
jquery.wikiEditor.highlight.js Kranitor: Make JSHint pass 2013-11-10 07:36:03 +00:00
jquery.wikiEditor.html Fix border css 2014-03-22 17:44:25 +00:00
jquery.wikiEditor.iframe.js Unify coding style of jQuery( '<element>' ) calls 2014-03-17 22:11:12 +01:00
jquery.wikiEditor.js Workaround for a scrolling bug in IE8 2014-02-25 12:41:12 +00:00
jquery.wikiEditor.preview.css WikiEditor: Linting and conventions 2012-07-17 13:27:27 -07:00
jquery.wikiEditor.preview.js Kranitor: Make JSHint pass 2013-11-10 07:36:03 +00:00
jquery.wikiEditor.previewDialog.css WikiEditor: Linting and conventions 2012-07-17 13:27:27 -07:00
jquery.wikiEditor.previewDialog.js Kranitor: Make JSHint pass 2013-11-10 07:36:03 +00:00
jquery.wikiEditor.publish.js Kranitor: Make JSHint pass 2013-11-10 07:36:03 +00:00
jquery.wikiEditor.templateEditor.js Unify coding style of jQuery( '<element>' ) calls 2014-03-17 22:11:12 +01:00
jquery.wikiEditor.templates.js Kranitor: Make JSHint pass 2013-11-10 07:36:03 +00:00
jquery.wikiEditor.toc.css Fix border css 2014-03-22 17:44:25 +00:00
jquery.wikiEditor.toc.js Kranitor: Make JSHint pass 2013-11-10 07:36:03 +00:00
jquery.wikiEditor.toolbar.config.js Merge "Removed indentation button from WikiEditor toolbar." 2014-03-12 12:04:39 +00:00
jquery.wikiEditor.toolbar.css Fix border css 2014-03-22 17:44:25 +00:00
jquery.wikiEditor.toolbar.js Revert "Remove unneeded show() in WikiEditor toolbar" 2014-03-24 22:30:55 +01:00