mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-11-27 17:50:44 +00:00
b296fc3578
Also capitalize them and don't keep them in an array. The data values for the radio buttons are also removed, because they're not used for anything. This is a follow-up to Ie40e8bdebe6f1330fc75ea1861f120e51ad58224. Bug: T293168 Change-Id: I2f6de07f6f82e9e59ab67c771fcd60a68ad577dc |
||
---|---|---|
.. | ||
images/toolbar | ||
insertlink | ||
templates | ||
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 |