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"}