mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-11-15 03:35:58 +00:00
d0ebd8f812
* Rename 'collection' to 'loadmodules'. * Consistently close parentheses and brackets at the same indentation level as they were opened. * Use $.ajax directly instead of $.post, especially the fourth argument to $.post makes it hard to read. * Use promise interface of $.ajax and $.post instead of the (deprecated) callback parameter. Change-Id: I48924c9a1ce29829f8994be05c46d5563b2c25d6 |
||
---|---|---|
.. | ||
images | ||
ext.wikiEditor.css | ||
ext.wikiEditor.dialogs.js | ||
ext.wikiEditor.js | ||
ext.wikiEditor.preview.js | ||
ext.wikiEditor.previewDialog.js | ||
ext.wikiEditor.publish.js | ||
ext.wikiEditor.tests.toolbar.js | ||
ext.wikiEditor.toolbar.hideSig.js | ||
ext.wikiEditor.toolbar.js | ||
jquery.wikiEditor.css | ||
jquery.wikiEditor.dialogs.config.css | ||
jquery.wikiEditor.dialogs.config.js | ||
jquery.wikiEditor.dialogs.css | ||
jquery.wikiEditor.dialogs.js | ||
jquery.wikiEditor.html | ||
jquery.wikiEditor.js | ||
jquery.wikiEditor.preview.css | ||
jquery.wikiEditor.preview.js | ||
jquery.wikiEditor.previewDialog.css | ||
jquery.wikiEditor.previewDialog.js | ||
jquery.wikiEditor.publish.js | ||
jquery.wikiEditor.toolbar.config.js | ||
jquery.wikiEditor.toolbar.css | ||
jquery.wikiEditor.toolbar.js |