Updated mediawiki/extensions
Project: mediawiki/extensions/AbuseFilter  d0f435a9531705a9dadfc747243a66a1971a27fb

Remove old username

My current user name is already in the list.

Change-Id: I166d0702e427671c2e8a9011b4d2160449ab98b9