mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-30 09:04:21 +00:00
da422b18d5
This gets us the variants (which we need for OOUI 0.17.9); note that I've cheated and used 0.17.9's colour for the MediaWiki theme's progressive flag rather than 0.17.8's value of 347bff. Change-Id: Ic436970e9298ea31f48c6cfdd04b80847aaebbee |
||
---|---|---|
.. | ||
ve.ui.Icons.json |