mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-12-20 03:51:49 +00:00
d700202f85
The schema itself is being renamed, and many of the field names are different. Bug: T207803 Depends-On: I2949c9782669b75cf17978698c8cef21fdee6dea Change-Id: I07d9bc1530005914043911b7906c1602522c9162 |
||
---|---|---|
.. | ||
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 |