mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-12 17:18:41 +00:00
bba27be62e
The OOUI selector has changed and we need to update ours, as we're losing the specificity fight. Change-Id: I294c1c5480a335431542e10bcff234499001090d |
||
---|---|---|
.. | ||
ce | ||
dm | ||
init | ||
tests | ||
themes | ||
ui | ||
ve.MWutils.js |