wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-12-04 18:58:37 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw
History
Bartosz Dziewoński e14e24f037 MobileArticleTarget: Tweak styling for editor switcher 
The .oo-ui-popupToolGroup-handle styles only need to apply to the
editTools toolbar, where they override OOUI styles so that our
"stretched" toolbar works; they don't need to apply to the pageTools
toolbar, which contains just the editor switcher, and where they make
it look different from the MF wikitext editor toolbar for no reason.

Change-Id: I21315b34be0a7c3938f84ada720ff5754d953879
2019-08-08 19:47:14 +02:00
..
ce build: Upgrade eslint-config-wikimedia from 0.12.0 to 0.13.1 2019-08-02 09:51:07 -07:00
dm Work around a Parsoid bug with creating interwiki links 2019-07-26 01:01:01 +02:00
init MobileArticleTarget: Tweak styling for editor switcher 2019-08-08 19:47:14 +02:00
tests Store 'canEdit' property when auto-saving or switching editors 2019-05-24 23:15:38 +02:00
themes SaveDialog: Hide options bar when empty 2019-07-16 14:28:25 +01:00
ui MWSaveDialog: Don't pretend saveButtonLabel is optional 2019-08-05 21:16:21 +01:00
ve.MWutils.js eslint: Enable valid-jsdoc 2019-04-17 17:13:39 +01:00