Changeset 14208 in josm for trunk/src/org/openstreetmap/josm/data/preferences/JosmUrls.java

Timestamp:

2018-08-31T17:28:02+02:00 (6 years ago)

Author:

simon04

Message:

fix #16702 - Speed up OSM wiki help using MediaWiki API

File:

• trunk/src/org/openstreetmap/josm/data/preferences/JosmUrls.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/data/preferences/JosmUrls.java

@@ -21 +21 @@
      */
     private static final String OSM_WEBSITE = "https://www.openstreetmap.org";
+
+    /**
+     * The OSM wiki URL.
+     */
+    private static final String OSM_WIKI = "https://wiki.openstreetmap.org";
 
     /**
@@ -88 +93 @@
 
     @Override
+    public String getOSMWiki() {
+        if (Config.getPref() != null)
+            return Config.getPref().get("url.openstreetmap-wiki", OSM_WIKI);
+        return OSM_WIKI;
+    }
+
+    @Override
     public String getDefaultOsmApiUrl() {
         return DEFAULT_API_URL;