wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-15 18:39:52 +00:00
Code Issues Packages Projects Releases Wiki Activity
14431 commits 161 branches 1 tag 190 MiB
Commit graph

4 commits

Author SHA1 Message Date
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
Ed Sanders 886faf2adc NWE: Show temporary wikitext input widget while loading 
Bug: T184614
Change-Id: I2e4964cb6329660957815dcb9a74d2ad24d5256b
 2018-01-10 21:34:53 +01:00
James D. Forrester 0a7a845a42 doc: Bump copyright year 
Change-Id: I0b299c840ede1a1b8552cecfc70c5760ab036181
 2018-01-03 17:45:07 +00:00
Ed Sanders 50217d2a19 Rename mediawikitheme -> wikimediatheme 
Change-Id: I48e1fcc0b71dccdb6d8e034d686a4bfe5dbe39e6
 2017-11-01 15:36:34 +00:00
Renamed from modules/ve-mw/init/styles/ve.init.mw.DesktopArticleTarget.init-mediawikitheme.css (Browse further)