From d83ccf590c50db137f2caecc434c73c785154f55 Mon Sep 17 00:00:00 2001 From: Quincy Morgan Date: Fri, 24 Jan 2020 08:44:06 -0500 Subject: [PATCH] Deprecate `building:height` and `building:min_height` (close #7285) --- data/deprecated.json | 8 ++++++++ data/taginfo.json | 2 ++ 2 files changed, 10 insertions(+) diff --git a/data/deprecated.json b/data/deprecated.json index 099341283..fc5a0b74f 100644 --- a/data/deprecated.json +++ b/data/deprecated.json @@ -228,6 +228,14 @@ "old": {"building:color": "*"}, "replace": {"building:colour": "$1"} }, + { + "old": {"building:height": "*"}, + "replace": {"height": "$1"} + }, + { + "old": {"building:min_height": "*"}, + "replace": {"min_height": "$1"} + }, { "old": {"building:roof:colour": "*"}, "replace": {"roof:colour": "$1"} diff --git a/data/taginfo.json b/data/taginfo.json index eec03d73d..104ef416e 100644 --- a/data/taginfo.json +++ b/data/taginfo.json @@ -1998,6 +1998,8 @@ {"key": "building", "value": "home", "description": "🄳 ➜ building=house"}, {"key": "building", "value": "household", "description": "🄳 ➜ building=house"}, {"key": "building:color", "description": "🄳 ➜ building:colour=*"}, + {"key": "building:height", "description": "🄳 ➜ height=*"}, + {"key": "building:min_height", "description": "🄳 ➜ min_height=*"}, {"key": "building:roof:colour", "description": "🄳 ➜ roof:colour=*"}, {"key": "building:type", "description": "🄳 ➜ building=*"}, {"key": "camp_site", "value": "camp_pitch", "description": "🄳 ➜ tourism=camp_pitch"},