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: [