jenkins-bot has submitted this change and it was merged.
Change subject: Remove extra comma to avoid fatal in IE7
......................................................................
Remove extra comma to avoid fatal in IE7
Follow-Up: I7629c8be4225dbee73c0182ac18359e89769c65b
Change-Id: I0f0cc0be69d22da78c004ac3b7126ffa4f25adfb
---
M modules/ext.coreEvents.httpsSupport.js
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
TheDJ: Looks good to me, approved
jenkins-bot: Verified
diff --git a/modules/ext.coreEvents.httpsSupport.js
b/modules/ext.coreEvents.httpsSupport.js
index dff4402..fee3b94 100644
--- a/modules/ext.coreEvents.httpsSupport.js
+++ b/modules/ext.coreEvents.httpsSupport.js
@@ -50,7 +50,7 @@
httpStatus : httpStatus,
httpsStatus : httpsStatus,
isAnon : mw.config.get( 'wgUserId'
) === null,
- userAgent : navigator.userAgent,
+ userAgent : navigator.userAgent
};
if ( mw.mobileFrontend && mw.config.exists(
'wgMFMode' ) ) {
event.mobileMode = mw.config.get(
'wgMFMode' );
--
To view, visit https://gerrit.wikimedia.org/r/80586
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I0f0cc0be69d22da78c004ac3b7126ffa4f25adfb
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/CoreEvents
Gerrit-Branch: master
Gerrit-Owner: Umherirrender <umherirrender_de...@web.de>
Gerrit-Reviewer: Krinkle <krinklem...@gmail.com>
Gerrit-Reviewer: Spage <sp...@wikimedia.org>
Gerrit-Reviewer: TheDJ <hartman.w...@gmail.com>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
