wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-15 10:35:48 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw
History
Volker E d44bb0bc1b Remove special font-size treatment following-up UI unified in 14px base 
Removing `0.8em` VE special base `font-size` for UI as we're unifying
OOUI interfaces to `14px` equals to `0.875em` at user agent default size.

Bug: T97631
Depends-on: I693d168d2ccf2babbcfe8952af3e1c262aa97773
Change-Id: I84edeec38ecfb90f5d53199f3b26fc3f83ab0611
2018-03-20 20:03:19 +00:00
..
ce Remove special font-size treatment following-up UI unified in 14px base 2018-03-20 20:03:19 +00:00
dm Improve media context item to show Image/Video/Audio instead of 'Media' 2018-03-20 17:45:48 +00:00
init Remove special font-size treatment following-up UI unified in 14px base 2018-03-20 20:03:19 +00:00
tests Merge "Update VE core submodule to master (ca771b8bc)" 2018-03-06 13:14:21 +00:00
themes doc: Bump copyright year 2018-01-03 17:45:07 +00:00
ui Remove special font-size treatment following-up UI unified in 14px base 2018-03-20 20:03:19 +00:00
ve.MWutils.js Centralize Parsoid resource name parsing logic 2018-02-28 03:01:05 +01:00