Updated mediawiki/extensions
Project: mediawiki/extensions/ZeroBanner  823e443384265fb32ee43378b38df0bb3046ff5d

Fix missing GIF banner size

Currently, the  -size command line paramter to ImageMagick
does not appear to be getting added for ineligible zerodot
GIF banners. This patch tries to correct this.

Change-Id: I622a041607f3dcf82a354aa0c61e906ebbab2e85