HomePhabricator

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

Authored by jenkins-bot.

Description

Updated mediawiki/extensions Project: mediawiki/extensions/MobileFrontend 335e469005e3a5af076c5e87c51d85869d8e7c9e

Remove unnecessary padding

Fix regressions introduced in I6d6191c33b4c09dc8b991fe7c15f4c15bec7de1e.

Bug: T103308
Change-Id: If91de9590ca67c923fe7d35b9f87ba1db4fece57

Event Timeline

Gerrit Code Review <gerrit@wikimedia.org> committed rMEXT820dcee42b13: Updated mediawiki/extensions Project: mediawiki/extensions/MobileFrontend… (authored by jenkins-bot <jenkins-bot@gerrit.wikimedia.org>).Jun 23 2015, 4:20 PM