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

Timestamp:

2016-04-01T20:08:24+02:00 (9 years ago)

Author:

Klumbumbus

Message:

fix #8978 - deprecate amenity=public_building, add building=public

File:

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

trunk/data/validator/deprecated.mapcss

@@ -814 +814 @@
   suggestAlternative: "wall=noise_barrier";
 }
+
+/* #8978, 12588 */
+*[amenity=public_building] {
+  throwWarning: tr("{0} is deprecated", "{0.tag}");
+  suggestAlternative: "amenity=townhall";
+  suggestAlternative: "amenity=community_centre";
+  suggestAlternative: "amenity=hospital";
+  suggestAlternative: "leisure=sports_centre";
+  suggestAlternative: "office=government";
+  suggestAlternative: "building=hospital";
+  suggestAlternative: "building=public";
+  suggestAlternative: "...";
+}