jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/386373 )
Change subject: Use full OpenStreetMap domain names ...................................................................... Use full OpenStreetMap domain names The osm.org domain was described as “not officially supported” in 2014 [1], and while it is nowadays listed on the “Domain names” wiki page [2], it’s still just a redirect, and we may as well get rid of it. The main openstreetmap.org domain also redirects to www.openstreetmap.org, so let’s use the www. subdomain right away. [1]: https://help.openstreetmap.org/questions/33639/ssl-certificate-for-httpsosmorg-does-not-match-the-host-name/33640 [2]: https://wiki.openstreetmap.org/wiki/Domain_names Change-Id: I40748ca3f3c306aba5010d433e8ae2c5369320a3 --- M wikibase/queryService/ui/resultBrowser/CoordinateResultBrowser.js 1 file changed, 3 insertions(+), 3 deletions(-) Approvals: Jonas Kress (WMDE): Looks good to me, approved jenkins-bot: Verified diff --git a/wikibase/queryService/ui/resultBrowser/CoordinateResultBrowser.js b/wikibase/queryService/ui/resultBrowser/CoordinateResultBrowser.js index 3fe7902..ae6ae45 100644 --- a/wikibase/queryService/ui/resultBrowser/CoordinateResultBrowser.js +++ b/wikibase/queryService/ui/resultBrowser/CoordinateResultBrowser.js @@ -37,13 +37,13 @@ url: 'https://maps.wikimedia.org/osm-intl/{z}/{x}/{y}.png', options: { id: 'wikipedia-map-01', - attribution: ' <a href="https://maps.wikimedia.org/";>Wikimedia</a> | © <a href="http://openstreetmap.org/copyright";>OpenStreetMap</a> contributors' + attribution: ' <a href="https://maps.wikimedia.org/";>Wikimedia</a> | © <a href="http://www.openstreetmap.org/copyright";>OpenStreetMap</a> contributors' } }, osm: { - url: 'http://{s}.tile.osm.org/{z}/{x}/{y}.png', + url: 'http://{s}.tile.openstreetmap.org/{z}/{x}/{y}.png', options: { - attribution: '© <a href="http://osm.org/copyright";>OpenStreetMap</a> contributors' + attribution: '© <a href="http://www.openstreetmap.org/copyright";>OpenStreetMap</a> contributors' } } }; -- To view, visit https://gerrit.wikimedia.org/r/386373 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I40748ca3f3c306aba5010d433e8ae2c5369320a3 Gerrit-PatchSet: 1 Gerrit-Project: wikidata/query/gui Gerrit-Branch: master Gerrit-Owner: Lucas Werkmeister (WMDE) <[email protected]> Gerrit-Reviewer: Jonas Kress (WMDE) <[email protected]> Gerrit-Reviewer: Smalyshev <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
