From 7be48d527a1a7fdf5fbaf4fc7af52195e6fa0bac Mon Sep 17 00:00:00 2001
From: Benjamin Pasero <benjamin.pasero@microsoft.com>
Date: Mon, 22 Nov 2021 12:17:22 +0100
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 0625a848805..e2e23f9edec 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.12';
+const WEB_PLAYGROUND_VERSION = '0.0.13';
 
 const args = minimist(process.argv, {
 	boolean: [