wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-15 10:35:48 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/styles/wikimediaui
History
Ed Sanders 85974b171c Bring back 'alert' indicator 
Was removed upstream in OOUI, but we require it to
show that parameters are deprecated.

Resize to fit new 12x12 size for indicators.

Change-Id: I2356de0754a2ccf09b87b152f3023282f2e37f41
2018-12-11 14:25:48 +00:00
..
ve.ui.Icons.json Update user avatar icon and make use of OOUI's built-in 2018-10-10 18:34:27 -07:00
ve.ui.Indicators.json Bring back 'alert' indicator 2018-12-11 14:25:48 +00:00