Updated mediawiki/extensions
Project: mediawiki/extensions/AbuseFilter  3ff9084c2d700953a8771c8a86293244fa7ee192

Fix PHPDoc comments

Change-Id: I7d6da503d909d06b9a10cb55144852e1c4d07569