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 9ca76613adb47fc726e5f468dd497e8c29dd5435

Hygiene: Don't add Echo modules, if Echo isn't installed

Same as VisualEditor and friends.

Change-Id: I927831e3586915b3d58c0c003039c3386d545f78

Details

Committed
Gerrit Code ReviewApr 8 2015, 3:24 PM
Parents
rMEXT3ed135cfad53: Updated mediawiki/extensions Project: mediawiki/extensions/Wikibase…
Branches
Unknown
Tags
Unknown
ChangeId
I927831e3586915b3d58c0c003039c3386d545f78

Event Timeline

Gerrit Code Review <gerrit@wikimedia.org> committed rMEXT3b5c9fa30dd7: Updated mediawiki/extensions Project: mediawiki/extensions/MobileFrontend… (authored by jenkins-bot <jenkins-bot@gerrit.wikimedia.org>).Apr 8 2015, 3:24 PM