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 488a6be9e5aa17accd2b297b3f3f4b7af13ec116

Enable user profile on desktop.

Special pages that only work on mobile are bad.
Turn off styling since it doesn't make sense in Vector.

Bug: T74323
Change-Id: Ie57bff70fdc38e8bcc0744c6a509e720bc45908d

Details

Committed
Gerrit Code ReviewJan 6 2015, 3:59 PM
Parents
rMEXTe6e0f97c7891: Updated mediawiki/extensions Project: mediawiki/extensions/MobileFrontend…
Branches
Unknown
Tags
Unknown
ChangeId
Ie57bff70fdc38e8bcc0744c6a509e720bc45908d

Event Timeline

Gerrit Code Review <gerrit@wikimedia.org> committed rMEXTc4be56d7944e: Updated mediawiki/extensions Project: mediawiki/extensions/MobileFrontend… (authored by jenkins-bot <jenkins-bot@gerrit.wikimedia.org>).Jan 6 2015, 3:59 PM