From ed497a32a7a163fc4dabfa980270dcb7f888f858 Mon Sep 17 00:00:00 2001
From: Martin Raifer <martin@raifer.tech>
Date: Fri, 5 Apr 2024 17:51:36 +0200
Subject: [PATCH] suggest to discard "playground:theme=playground" tags

see https://github.com/openstreetmap/id-tagging-schema/issues/1188#issuecomment-2040063095
---
 data/deprecated.json | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/data/deprecated.json b/data/deprecated.json
index d58930e1..f804df49 100644
--- a/data/deprecated.json
+++ b/data/deprecated.json
@@ -1265,6 +1265,9 @@
     "old": {"place_name": "*"},
     "replace": {"name": "$1"}
   },
+  {
+    "old": {"playground:theme": "playground"}
+  },
   {
     "old": {"pole": "transition"},
     "replace": {"location:transition": "yes"}