mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-16 10:59:56 +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
223 B
24x24px
223 B
24x24px