jenkins-bot has submitted this change and it was merged.
Change subject: Hygiene: Use ResourceLoader::isModuleRegistered()
......................................................................
Hygiene: Use ResourceLoader::isModuleRegistered()
Added in I4b470083ddaa5d8cd6be50d5c5b690d4b99b6c4a
Change-Id: If96708767e60e5dd916727ac967949bd41e4f8c0
---
M includes/specials/MobileSpecialPage.php
1 file changed, 2 insertions(+), 2 deletions(-)
Approvals:
Florianschmidtwelzow: Looks good to me, approved
jenkins-bot: Verified
diff --git a/includes/specials/MobileSpecialPage.php
b/includes/specials/MobileSpecialPage.php
index ef7de1d..37f9241 100644
--- a/includes/specials/MobileSpecialPage.php
+++ b/includes/specials/MobileSpecialPage.php
@@ -98,11 +98,11 @@
$specialStyleModuleName = 'mobile.special.' . $id . '.styles';
$specialScriptModuleName = 'mobile.special.' . $id . '.scripts';
- if ( $rl->getModule( $specialStyleModuleName ) ) {
+ if ( $rl->isModuleRegistered( $specialStyleModuleName ) ) {
$out->addModuleStyles( $specialStyleModuleName );
}
- if ( $rl->getModule( $specialScriptModuleName ) ) {
+ if ( $rl->isModuleRegistered( $specialScriptModuleName ) ) {
$out->addModules( $specialScriptModuleName );
}
}
--
To view, visit https://gerrit.wikimedia.org/r/196968
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: If96708767e60e5dd916727ac967949bd41e4f8c0
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions/MobileFrontend
Gerrit-Branch: master
Gerrit-Owner: Legoktm <[email protected]>
Gerrit-Reviewer: Florianschmidtwelzow <[email protected]>
Gerrit-Reviewer: Legoktm <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
