Updated mediawiki/extensions
Project: mediawiki/extensions/WikimediaEvents  9fc8300033d0f9a482e3df9c264f2cbe3b7207f9

Fix-up for Ied71b5032: restore user ID check

Change-Id: If9cdde0f093aaac2edc167767196f9c7ed797d9b