Updated mediawiki/extensions
Project: mediawiki/extensions/AbuseFilter  8e4c01fb2b84de64cdad5202fea1f12fff43c5c4

i18n: use "int:" for consistency

Change-Id: Iddf881b802bdc02b6fc34b03603293a4cb7a028f