Updated mediawiki/extensions
Project: mediawiki/extensions/BlockAndNuke  f01f9b7ea264fdf6afba3833fc34dc0d1c28ddf6

Replace deprecated User::editToken calls

Change-Id: I90202feaea6836ed5eba27a12216093d958ea1c2