mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-11-14 19:31:55 +00:00
2d58366710
In addition to button, toggle, and select, add an element type of tool which can be used to insert any HTML content. Bug: T286759 Change-Id: Ia193308a076a7eaa010269ea0dd7b707c774561d |
||
---|---|---|
.. | ||
images/toolbar | ||
insertlink | ||
templates | ||
.eslintrc.json | ||
ext.wikiEditor.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-apex.less | ||
jquery.wikiEditor.toolbar-wikimedia.less | ||
jquery.wikiEditor.toolbar.config.js | ||
jquery.wikiEditor.toolbar.js | ||
jquery.wikiEditor.toolbar.less |