jenkins-bot has submitted this change and it was merged.
Change subject: Remove undeclared dependency on mw.user
......................................................................
Remove undeclared dependency on mw.user
Bug: T93310
Change-Id: I6ab988be43c93780d01077a0b08e627488df8d51
---
M resources/loader.js
1 file changed, 4 insertions(+), 1 deletion(-)
Approvals:
Gilles: Looks good to me, approved
Bmansurov: Looks good to me, but someone else must approve
jenkins-bot: Verified
diff --git a/resources/loader.js b/resources/loader.js
index 521f919..9adc84e 100644
--- a/resources/loader.js
+++ b/resources/loader.js
@@ -30,7 +30,10 @@
if ( mw.config.get( 'wgCanonicalNamespace' ) !== 'File' ) {
imageFactor = 0;
- } else if ( !mw.user.isAnon() && loggedinImageFactor ) {
+ } else if (
+ mw.config.get( 'wgUserName' ) !== null && // same as
!mw.user.isAnon() - don't require mw.user just for this
+ loggedinImageFactor
+ ) {
imageFactor = loggedinImageFactor;
}
--
To view, visit https://gerrit.wikimedia.org/r/198414
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I6ab988be43c93780d01077a0b08e627488df8d51
Gerrit-PatchSet: 5
Gerrit-Project: mediawiki/extensions/ImageMetrics
Gerrit-Branch: master
Gerrit-Owner: Gergő Tisza <[email protected]>
Gerrit-Reviewer: Bmansurov <[email protected]>
Gerrit-Reviewer: Gergő Tisza <[email protected]>
Gerrit-Reviewer: Gilles <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
