Add play.html redirect

ark120202 · ark120202 · commit a05f0dc16736 · 2020-02-28T08:04:03.000Z
diff --git a/static/play.html/index.html b/static/play.html/index.html
@@ -0,0 +1,8 @@
+<!DOCTYPE html>
+<html>
+    <head>
+        <script>
+            location.href = "/play" + (location.search || "") + (location.hash || "");
+        </script>
+    </head>
+</html>
