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 b3bd11b2eb36676f5dd4fd582559ad411a02799e

Allow other extensions to add or override discovery tools

Change-Id: I14d7e04bb22df8407cf99dba4c99f5f287cc3684

Details

Committed
Gerrit Code ReviewFeb 18 2015, 4:10 PM
Parents
rMEXT4ee822fae05d: Updated mediawiki/extensions Project: mediawiki/extensions/CirrusSearch…
Branches
Unknown
Tags
Unknown
ChangeId
I14d7e04bb22df8407cf99dba4c99f5f287cc3684

Event Timeline

Gerrit Code Review <gerrit@wikimedia.org> committed rMEXT5359ac360857: Updated mediawiki/extensions Project: mediawiki/extensions/MobileFrontend… (authored by jenkins-bot <jenkins-bot@gerrit.wikimedia.org>).Feb 18 2015, 4:10 PM