HomePhabricator

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

Authored by jenkins-bot <jenkins-bot@gerrit.wikimedia.org>.

Description

Updated mediawiki/extensions Project: mediawiki/extensions/MobileFrontend 7534b8b4d833ded0121b15dba1ee23006ed2e1e1

Border box no longer default

Except for VE
Bug: T86366
Change-Id: If685f987eb29c36afc3e2b11ff99c8ad84333b4b

Details

Committed
Gerrit Code ReviewApr 15 2015, 11:05 PM
Parents
rMEXT6d91302836f4: Updated mediawiki/extensions Project: mediawiki/extensions/Wikibase…
Branches
Unknown
Tags
Unknown
ChangeId
If685f987eb29c36afc3e2b11ff99c8ad84333b4b

Event Timeline

Gerrit Code Review <gerrit@wikimedia.org> committed rMEXTd91238516bbd: Updated mediawiki/extensions Project: mediawiki/extensions/MobileFrontend… (authored by jenkins-bot <jenkins-bot@gerrit.wikimedia.org>).Apr 15 2015, 11:05 PM