mediawiki-extensions-Visual.../modules/ve-mw/ui/styles/wikimediaui/ve.ui.Indicators.json

mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-16 10:59:56 +00:00
{
	"images": {
		"alert": {
			"file": "../images/indicators/alert.svg"
		}
	}
}
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			`{`
			`"images": {`
			`"alert": {`
			`"file": "../images/indicators/alert.svg"`
			`}`
			`}`
			`}`