Updated mediawiki/extensions
Project: mediawiki/extensions/ZeroBanner  ded5fba228f60b44c12e1863b49484c1962e2252

Major refactoring - migration to ZeroBanner

* Uses JsonConfig extension
* Uses new i18n messages
* Removes all non-banner related code

Change-Id: Ia9aee1f573f33c46f249723fe1089a51723121cd