jenkins-bot has submitted this change and it was merged.

Change subject: Wake the map after 500ms instead of 1s
......................................................................


Wake the map after 500ms instead of 1s

Bug: T145169
Change-Id: I8844ca92969dc4890eef213244cf3e1e05aa4573
---
M modules/box/Map.js
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Yurik: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/modules/box/Map.js b/modules/box/Map.js
index 619020d..564f8a1 100644
--- a/modules/box/Map.js
+++ b/modules/box/Map.js
@@ -41,7 +41,7 @@
 
        L.Map.mergeOptions( {
                sleepTime: 250,
-               wakeTime: 1000,
+               wakeTime: 500,
                sleepNote: false,
                sleepOpacity: 1,
                // the default zoom applied when `longitude` and `latitude` were

-- 
To view, visit https://gerrit.wikimedia.org/r/309546
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I8844ca92969dc4890eef213244cf3e1e05aa4573
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Kartographer
Gerrit-Branch: master
Gerrit-Owner: JGirault <julien.inbox.w...@gmail.com>
Gerrit-Reviewer: MaxSem <maxsem.w...@gmail.com>
Gerrit-Reviewer: Yurik <yu...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to