Updated mediawiki/extensions
Project: mediawiki/extensions/ZeroBanner  ab260272e76015d8f8efdaec65f91d9aded04f0f

Allows settings to set point size of the banner font

Change-Id: I274ea118106053e9106dabfddf67b7899e07baee