mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-11-15 03:35:58 +00:00
d1675f275c
This bumps the extension to requiring the 1.33.x releases of MediaWiki, which are currently in alpha. Change-Id: I55f77294d271c81f510ce54181a24435b840d3d2 Depends-On: Ib2faa22c429096d545ddb829a6b4025427ad6071 |
||
---|---|---|
.. | ||
images | ||
templates | ||
ext.wikiEditor.dialogs.js | ||
ext.wikiEditor.js | ||
ext.wikiEditor.toolbar.js | ||
ext.wikiEditor.toolbar.styles.less | ||
jquery.wikiEditor.dialogs.config.js | ||
jquery.wikiEditor.dialogs.config.less | ||
jquery.wikiEditor.dialogs.js | ||
jquery.wikiEditor.dialogs.less | ||
jquery.wikiEditor.html | ||
jquery.wikiEditor.js | ||
jquery.wikiEditor.less | ||
jquery.wikiEditor.toolbar.config.js | ||
jquery.wikiEditor.toolbar.js | ||
jquery.wikiEditor.toolbar.less |