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 71e001b85de4d73557b12a27e04a8989e757d20a

VisualEditorOverlay: Update for Idc299e23 in OOUI

Quote, "We may want to move these to an oojs-ui theme at some point".
That would indeed help. I had no idea there are styles overriding this here,
otherwise I would have submitted a fix for the breaking change.

Bug: T85025
Change-Id: Ic9a86a3342034c538933cda8b20f0dad62c38d42

Details

Committed
Gerrit Code ReviewDec 22 2014, 9:40 PM
Parents
rMEXTe645c3039607: Updated mediawiki/extensions Project: mediawiki/extensions/MobileFrontend…
Branches
Unknown
Tags
Unknown
ChangeId
Ic9a86a3342034c538933cda8b20f0dad62c38d42

Event Timeline

Gerrit Code Review <gerrit@wikimedia.org> committed rMEXT115e9e3fe9e0: Updated mediawiki/extensions Project: mediawiki/extensions/MobileFrontend… (authored by jenkins-bot <jenkins-bot@gerrit.wikimedia.org>).Dec 22 2014, 9:40 PM