mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-11-28 18:21:02 +00:00
bfbc794c5b
A new toggle tooltype which makes use of ToggleButtonWidget in order to provide proper accessibility for all buttons that require on/off state Bug: T198781 Change-Id: I8b7fd41571a48fa4f6560790d94bb966972e740f |
||
---|---|---|
.. | ||
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 |