Updated mediawiki/extensions
Project: mediawiki/extensions/CloseWikis  4d971931a352b71021d7d1b34e7e1de909e271a7

Replace deprecated User::editToken with User::getEditToken (1.19)

Change-Id: Ic9b584fe2e53be25c70058735a24ca9de7c2dbd5