wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-16 02:51:50 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/styles/wikimediaui
History
Ed Sanders 31dd73ae81 MediaDialog: Use new icons 
Bug: T222086
Change-Id: I09c0a4e039de224d3cb0dd92855c559668ed35d3
2019-04-29 10:00:06 -07:00
..
ve.ui.Icons.json MediaDialog: Use new icons 2019-04-29 10:00:06 -07:00
ve.ui.Indicators.json Bring back 'alert' indicator 2018-12-11 14:25:48 +00:00