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 |
||
---|---|---|
.. | ||
images | ||
ve.ui.Context.css | ||
ve.ui.Icons-raster.css | ||
ve.ui.Icons-vector.css | ||
ve.ui.Inspector.css | ||
ve.ui.Inspector.Icons-raster.css | ||
ve.ui.Inspector.Icons-vector.css | ||
ve.ui.Menu.css | ||
ve.ui.Surface.css | ||
ve.ui.Tool.css | ||
ve.ui.Toolbar.css |