Updated mediawiki/extensions
Project: mediawiki/extensions/AbuseFilter  a6b1dade840841ff7adf2ff289b6428f930d6796

Avoid wgUser in AbuseFilterHooks edit handlers

Also a minor comment fix.
(Partly a follow up to Id998172)

Change-Id: Ie6a8f1e17afbf39a0aae7519fa7872504907223f