Updated mediawiki/extensions
Project: mediawiki/extensions/GWToolset  a5171bb27872b7cf9c5bb940cdfcbc51d2f378a4

PHP Notice: Undefined index: contributors

Bug: 70024
Change-Id: I2d9fd59ea6855d43da5467bcfbe532ae7f70bb1b