MaxSem has submitted this change and it was merged. Change subject: Returns mobile special page module loading to wgResourceModules ......................................................................
Returns mobile special page module loading to wgResourceModules This is in essence a partial revert of Change-Id: I891f9b4fc1f4d06db0ddad828aba6a50efdf182d, which works fine in Beta when we have full resource support, but is busted in production without ResourceLoader support, but otherwise maintains the dynamic generation of mobile special page resource modules. We can go back to doing this in the invocation of the ResourceLoaderRegisterModules hook after we have RL support everywhere. Change-Id: Ie1e088732a11b3fd101a96d2e1959bf7598a35d6 --- M MobileFrontend.php M includes/MobileFrontend.body.php M includes/skins/SkinMobile.php 3 files changed, 29 insertions(+), 16 deletions(-) Approvals: MaxSem: Verified; Looks good to me, approved jenkins-bot: Checked -- To view, visit https://gerrit.wikimedia.org/r/44442 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ie1e088732a11b3fd101a96d2e1959bf7598a35d6 Gerrit-PatchSet: 3 Gerrit-Project: mediawiki/extensions/MobileFrontend Gerrit-Branch: master Gerrit-Owner: awjrichards <[email protected]> Gerrit-Reviewer: MaxSem <[email protected]> Gerrit-Reviewer: awjrichards <[email protected]> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
