mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-30 00:55:00 +00:00
f15b07d8e3
New changes: fcd032a8a Update OOUI to v0.31.2 561e52b06 ve.dm.Node: Document attributeChange event 1f1ca22c5 Fix appearance of collapsed deactivated selections Change-Id: I8a618ab363664dfa59bde99de1b50cf6bc6a236f |
||
---|---|---|
.. | ||
proposal-promise-finally | ||
ve@132022a442 |