mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-25 23:05:35 +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 |
||
---|---|---|
.. | ||
styles | ||
targets | ||
ve.init.mw.js | ||
ve.init.mw.Platform.js | ||
ve.init.mw.Target.js |