Updated mediawiki/extensions
Project: mediawiki/extensions/ZeroBanner  e476ee130852463bd92d7192fa5823d44a9d7977

Reverted back to using separate global js var

I suspect this is what caused opera mini issue

Change-Id: I112eb8dc4974e9e98852c218778f72bb9fd30d2f