From bb022050edeef790c9cb505cce255702295fde53 Mon Sep 17 00:00:00 2001
From: Frederic Junod <frederic.junod@camptocamp.com>
Date: Thu, 16 May 2019 09:49:29 +0200
Subject: [PATCH] Add 'webworker' lib into the TypeScript's compilerOptions

---
 src/ol/worker/version.js | 1 -
 tsconfig.json            | 2 +-
 2 files changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/ol/worker/version.js b/src/ol/worker/version.js
index 0c466b8bcd..71abc3857f 100644
--- a/src/ol/worker/version.js
+++ b/src/ol/worker/version.js
@@ -6,7 +6,6 @@ import {VERSION} from '../util';
 
 onmessage = event => {
   console.log('version worker received message:', event.data); // eslint-disable-line
-  // @ts-ignore
   postMessage(`version: ${VERSION}`);
 };
 
diff --git a/tsconfig.json b/tsconfig.json
index 4de40de1b2..6e378a37be 100644
--- a/tsconfig.json
+++ b/tsconfig.json
@@ -3,7 +3,7 @@
     /* Basic Options */
     "target": "ES2017",                       /* Specify ECMAScript target version: 'ES3' (default), 'ES5', 'ES2015', 'ES2016', 'ES2017','ES2018' or 'ESNEXT'. */
     "module": "commonjs",                     /* Specify module code generation: 'none', 'commonjs', 'amd', 'system', 'umd', 'es2015', or 'ESNext'. */
-    "lib": ["es2017", "dom"],                        /* Specify library files to be included in the compilation. */
+    "lib": ["es2017", "dom", "webworker"],    /* Specify library files to be included in the compilation. */
     "allowJs": true,                          /* Allow javascript files to be compiled. */
     "checkJs": true,                          /* Report errors in .js files. */
     // "jsx": "preserve",                     /* Specify JSX code generation: 'preserve', 'react-native', or 'react'. */