Updated mediawiki/extensions
Project: mediawiki/extensions/ZeroBanner  d4ce510aec8223f7da516d2dabe2f34102debfc9

Better logging, simplify getWikiInfo

* getWikiInfo() now always includes cluster domain
* protocol is included in zero.log
* better opera-related slot error reporting


Change-Id: I99311c59175f778e92bab242e87a343d27ec518a