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
8096 commits 161 branches 1 tag 190 MiB
Commit graph

1 commit

Author SHA1 Message Date
Roan Kattouw a0989d15d4 Add stylesheet with IE hacks and only load it with IE 
The stylesheet contains workarounds for highlights on references
being drawn in the wrong place, resize handles appearing on headings,
and highlights being opaque.

Change-Id: I78da4d6a751429cd160b693b4a524fc7ea1ef76f
 2014-07-03 18:20:30 -07:00