Updated mediawiki/extensions
Project: mediawiki/extensions/AbuseFilter  9c9c0dd026ef2f953e2dcc6512d32bb905cd0eba

Make use of the user_timestamp index in ApiQueryAbuseLog

Furthermore sanitize IPs as ::01 == ::1

Change-Id: I91489d17c012004f607bbe571b9a2702afbf3d81