Updated mediawiki/extensions
Project: mediawiki/extensions/GWToolset  0a7e5683d2b23ecc73a1b12111d25d06339e25d3

Use more usual maintenance initiali[sz]ation code

Change-Id: I888c7226c4847dc2538fa96e2d91763ac22acd70