mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-12-03 18:36:20 +00:00
003f5fc82e
A lot of this just repeats what is already set by some other rule, e.g. because it is the OOUI default anyway. Warning. This patch is a little more agressive. I tested it on desktop and mobile, even with MonoBook, and could not spot a different. Please do some more tests. Change-Id: I0ee6e70f4f14c20d431643c53031d6d5b8df1aa2 |
||
---|---|---|
.. | ||
apex | ||
contextitems | ||
dialogs | ||
elements | ||
images | ||
inspectors | ||
layouts | ||
pages | ||
tools | ||
widgets | ||
wikimediaui | ||
ve.ui.MWWikitextSurface.css |