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.