Changeset 9593 in josm for trunk/data/validator/deprecated.mapcss

Timestamp:

2016-01-23T19:32:39+01:00 (9 years ago)

Author:

Klumbumbus

Message:

fix #12431 - Deprecate amenity=swimming_pool in favor of leisure=swimming_pool, remove tags from ignore list, which have already a deprecated warning

File:

• trunk/data/validator/deprecated.mapcss (modified) (1 diff)

trunk/data/validator/deprecated.mapcss

@@ -779 +779 @@
   throwWarning: tr("{0} is deprecated. Use the {1}: key prefix instead.", "{0.tag}", "{0.value}");
 }
+
+/* #12431 */
+*[amenity=swimming_pool] {
+  throwWarning: tr("{0} is deprecated", "{0.tag}");
+  suggestAlternative: "leisure=swimming_pool";
+  fixChangeKey: "amenity => leisure";
+}