HomePhabricator

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

Description

Updated mediawiki/extensions Project: mediawiki/extensions/MobileFrontend b5356d60d8ced4461d896bc52003f4e5b4cb96ae

Rename modules in resources

Resource files have been moved to their own "resource" folder, but the
module names have not been modified to reflect this. Therefore, the
new names bring it back to the old convention of identifying the module
name based on the path.
The old module names have not been removed, and have been deprecated so
that other extensions do not break.

Bug: T100467
Change-Id: I07b43666db565183554012bf5eae46a3df911735

Event Timeline

Gerrit Code Review <gerrit@wikimedia.org> committed rMEXT206e2b7afe62: Updated mediawiki/extensions Project: mediawiki/extensions/MobileFrontend… (authored by jenkins-bot <jenkins-bot@gerrit.wikimedia.org>).Sep 17 2015, 6:12 PM