Update monaco-editor-core to 0.25.0

package-lock.json

@@ -1213,9 +1213,9 @@
 			"dev": true
 		},
 		"monaco-editor-core": {
-			"version": "0.24.0",
-			"resolved": "https://registry.npmjs.org/monaco-editor-core/-/monaco-editor-core-0.24.0.tgz",
-			"integrity": "sha512-WJAzpNYEaJp8Z7crIAiLCVln1zZdo4cFXCRuhTDN4A3tz6IK2NOXAtTOZ9iLKBTtd6eitZJ2Q1Fx8JN8rN3fWw==",
+			"version": "0.25.0",
+			"resolved": "https://registry.npmjs.org/monaco-editor-core/-/monaco-editor-core-0.25.0.tgz",
+			"integrity": "sha512-PcaM+wCw2UggfECbBd/v5LDX5JtG/NS/9VAVYZj+azI2geoy6ohEpISPTJYiWRhk9yu8LxPDG6/NJXguzG2Bxg==",
 			"dev": true
 		},
 		"monaco-plugin-helpers": {

package.json

@@ -24,7 +24,7 @@
 		"glob": "^7.1.6",
 		"husky": "^4.3.8",
 		"jsdom": "^16.4.0",
-		"monaco-editor-core": "0.24.0",
+		"monaco-editor-core": "0.25.0",
 		"monaco-plugin-helpers": "^1.0.3",
 		"prettier": "^2.2.1",
 		"pretty-quick": "^3.1.0",