diff --git a/public/play.html b/public/play.html index 54777a7a0..1fe066865 100644 --- a/public/play.html +++ b/public/play.html @@ -452,6 +452,19 @@