mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-12-23 03:23:09 +00:00
85974b171c
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
8 lines
81 B
JSON
8 lines
81 B
JSON
{
|
|
"images": {
|
|
"alert": {
|
|
"file": "../images/indicators/alert.svg"
|
|
}
|
|
}
|
|
}
|