Updated mediawiki/extensions
Project: mediawiki/extensions/ZeroPortal  80b6e83fb45607f120976976e3be5c2024fed07e

build fix

Change-Id: Ica46404f1d5e12671693668c49c225cfd936eecf