mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-15 10:35:48 +00:00
c7221988a1
New changes: 26085a853 Make author list a ListPopupTool c4ea53eef Update OOjs to v2.1.0 8c94697f3 Update OOjs UI to v0.22.0 cdebc4817 Follow-up 8c94697f: Actually commit the icon changes I had locally 8be817396 Update OOjs UI to v0.22.1 Local changes for author list popup Change-Id: I36bcaf122528a4a12882aaff3b33ef936082a391 |
||
---|---|---|
.. | ||
widgets.css |