Daimona Eaytoy b235e1040a Restyle edit box dimensions ... Now it's always wider, and so is the "notes" field. Moreover, the fallback textarea has the exact same size. Plus removed a parameter which only made it hard to write a CSS rule for the textarea. Since the textarea is generated by the same code, and we're always using it for the same thing (filter syntax, regardless of the final goal), make it always use the same name. Bug: T230591 Change-Id: Ibb308e80d954c0e81aa09249c38c39572f157948		2019-08-17 18:53:13 +02:00
..
ve-abusefilter	ve.init.mw.AbuseFilterSaveErrorHandler: Update to receive entire response	2018-12-07 14:18:12 -05:00
ext.abuseFilter.css	Restyle edit box dimensions	2019-08-17 18:53:13 +02:00
ext.abuseFilter.edit.js	Restyle edit box dimensions	2019-08-17 18:53:13 +02:00
ext.abuseFilter.examine.js	Restyle edit box dimensions	2019-08-17 18:53:13 +02:00
ext.abuseFilter.tools.js	Restyle edit box dimensions	2019-08-17 18:53:13 +02:00
mode-abusefilter.js	build: Update npm dependencies	2019-07-31 17:29:00 +00:00
red_x.png	Compress PNGs with zopflipng	2016-02-20 20:17:20 +00:00
yes_check.png	Compress PNGs with zopflipng	2016-02-21 00:51:11 +00:00