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
15521 commits 161 branches 1 tag 190 MiB
Commit graph

1 commit

Author SHA1 Message Date
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