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