Updated mediawiki/extensions
Project: mediawiki/extensions/AbuseFilter  4deb2cc1bee426822f06ebee64592c6150e4911b

Use FormatJson instead of json_* functions

Change-Id: Ic4eccb13429d4081153b5deb550ac33bf2bd687d