diff --git a/data/deprecated.json b/data/deprecated.json index 0c12d3c49..1f1eb093a 100644 --- a/data/deprecated.json +++ b/data/deprecated.json @@ -183,6 +183,10 @@ { "old": {"highway": "no"} }, + { + "old": {"highway": "platform"}, + "replace": {"bus": "yes", "highway": "bus_stop", "public_transport": "platform"} + }, { "old": {"highway": "stile"}, "replace": {"barrier": "stile"}