mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-15 18:39:52 +00:00
77ce583167
This is a direct follow-up to I7f22e4b. I found that the way the margins have been arranged became a little more complicated with I7f22e4b. This patch tries to go back to the – I think – simpler way it was done before. It should look the same as before down to the pixel. Bug: T311223 Change-Id: I2c7789922078fa98f15f0b65de4c0efdf878a13a |
||
---|---|---|
.. | ||
ce | ||
dm | ||
init | ||
preinit | ||
tests | ||
themes | ||
ui |