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