Updated mediawiki/extensions
Project: mediawiki/extensions/AbuseFilter  25232efb2496352684d09772a6a8b7f6ce082f80
null
Adding a Link back to Abuse filter management page
Added the navigation bar
Set page title to 'Editing Abuse filter'

Change-Id: Ic11846d43587c2241df0635aabf3b9b3fae4056d