jenkins-bot has submitted this change and it was merged.
Change subject: Use ResourceLoader::isModuleRegistered()
......................................................................
Use ResourceLoader::isModuleRegistered()
Change-Id: I0668f29ed37775d7c5c8ef07df680d0c06a60f9a
---
M GlobalUserPage.body.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Jforrester: Looks good to me, approved
jenkins-bot: Verified
diff --git a/GlobalUserPage.body.php b/GlobalUserPage.body.php
index cda36a3..6aa71bf 100644
--- a/GlobalUserPage.body.php
+++ b/GlobalUserPage.body.php
@@ -82,7 +82,7 @@
);
foreach ( $map as $type => $func ) {
foreach ( $parsedOutput[$type] as $module ) {
- if ( $rl->getModule( $module ) !== null ) {
+ if ( $rl->isModuleRegistered( $module ) ) {
$out->$func( $module );
}
}
--
To view, visit https://gerrit.wikimedia.org/r/196969
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I0668f29ed37775d7c5c8ef07df680d0c06a60f9a
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/GlobalUserPage
Gerrit-Branch: master
Gerrit-Owner: Legoktm <[email protected]>
Gerrit-Reviewer: Jforrester <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
