jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/317546 )

Change subject: Upgrade mapbox.js to v3.0.1 (upgrade leaflet to 1.0.2)
......................................................................


Upgrade mapbox.js to v3.0.1 (upgrade leaflet to 1.0.2)

Bug: T147347
Change-Id: Iefd04175e4391649d8072ad29b51db9505d15eff
---
A lib/mapbox/images/icons-ffffff.svg
M lib/mapbox/images/icons.svg
A lib/mapbox/images/marker-icon-2x.png
A lib/mapbox/images/marker-icon.png
M lib/mapbox/mapbox-lib.js
M lib/mapbox/style.css
M modules/box/Map.js
M modules/linkbox/Link.js
M modules/wikivoyage/ControlLayers.js
M package.json
M styles/leaflet-overrides.less
11 files changed, 9,627 insertions(+), 5,778 deletions(-)

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




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

Gerrit-MessageType: merged
Gerrit-Change-Id: Iefd04175e4391649d8072ad29b51db9505d15eff
Gerrit-PatchSet: 5
Gerrit-Project: mediawiki/extensions/Kartographer
Gerrit-Branch: master
Gerrit-Owner: JGirault <jgira...@wikimedia.org>
Gerrit-Reviewer: Legoktm <lego...@member.fsf.org>
Gerrit-Reviewer: MaxSem <maxsem.w...@gmail.com>
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

Reply via email to