HomePhabricator

Updated mediawiki/extensions Project: mediawiki/extensions/MobileFrontend…

Authored by jenkins-bot.

Description

Updated mediawiki/extensions Project: mediawiki/extensions/MobileFrontend 3d091bbc9de0f54a0d841f8d74cad00375e043df

Removing banner should trigger a redraw

Bug: T103213
Change-Id: Ibd100f62e6485b94d68902a283c1c6775f480906

Event Timeline

Gerrit Code Review <gerrit@wikimedia.org> committed rMEXT39760025e588: Updated mediawiki/extensions Project: mediawiki/extensions/MobileFrontend… (authored by jenkins-bot <jenkins-bot@gerrit.wikimedia.org>).Jun 25 2015, 11:33 PM