From ad6122b1ea2032df17cfee8be18dffdab2a9ad1e Mon Sep 17 00:00:00 2001
From: Benjamin Pasero <benjamin.pasero@microsoft.com>
Date: Thu, 17 Jun 2021 16:50:24 +0200
Subject: [PATCH] :up: web playground

---
 resources/web/code-web.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/resources/web/code-web.js b/resources/web/code-web.js
index ae0ba183ee5..13ff160ceb6 100644
--- a/resources/web/code-web.js
+++ b/resources/web/code-web.js
@@ -37,7 +37,7 @@ const ALLOWED_CORS_ORIGINS = [
 	'http://127.0.0.1:8080',
 ];
 
-const WEB_PLAYGROUND_VERSION = '0.0.10';
+const WEB_PLAYGROUND_VERSION = '0.0.12';
 
 const args = minimist(process.argv, {
 	boolean: [