mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-29 00:30:44 +00:00
99ccfab9f0
icons, comment.*, ve.ui.Icons-* * Added comment icon ve.init.mw.ViewPageTarget * Refactored editNoticeButton into being just a tool * Added feedback tool, which shares the editNoticeButton code * Added feedback object construction in init constructor * Added launching code to feedback tool VisualEditor.i18n * Renamed editnotices-button message to editnotices-tool to match changes in code * Added feedback tool message VisualEditor * Added dependency on mediawiki.feedback * Updated changed message key * Added reference to new message Change-Id: I813c89a505386a9b3206bfbcb176016e28a592cb |
||
---|---|---|
.. | ||
icons | ||
callout.svg | ||
fade-down.png | ||
fade-up.png | ||
gray.png | ||
icons.ai | ||
toolbar-shadow.png |