Updated mediawiki/extensions
Project: mediawiki/extensions/GWToolset  71d58dfb69db044fc318de4dd0ba1d0ec43adc3b

GWToolset broken on Commons Beta

* fixed issue created by https://gerrit.wikimedia.org/r/#/c/112867
* $user = $SpecialPage->getUser(); should have been placed on line 70.
  placing it on line 112 broke the string concatenation

Bug: 61271
Change-Id: I38b6c5e8c1647eea7197c9b7536aeda2956674c2