Merge pull request #5715 from sebavan/master

Fix hard source plugin issue

package.json

@@ -69,7 +69,7 @@
         "gulp-tslint": "^8.1.3",
         "gulp-typedoc": "^2.2.1",
         "gulp-typescript": "4.0.2",
-        "hard-source-webpack-plugin": "^0.12.0",
+        "hard-source-webpack-plugin": "^0.13.1",
         "karma": "^3.1.1",
         "karma-browserstack-launcher": "^1.4.0",
         "karma-chai": "^0.1.0",