Changeset 18208 in josm for trunk/src/org/openstreetmap/josm/tools/Mediawiki.java
- Timestamp:
- 2021-09-11T17:50:57+02:00 (3 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/tools/Mediawiki.java
r18046 r18208 62 62 for (String page : distinctPages) { 63 63 String normalized = xPath.evaluate("/api/query/normalized/n[@from='" + page + "']/@to", document); 64 if ( normalized == null || normalized.isEmpty()) {64 if (Utils.isEmpty(normalized)) { 65 65 normalized = page; 66 66 }
Note:
See TracChangeset
for help on using the changeset viewer.