Update monaco-editor-core to 0.25.0.

package-lock.json

@@ -237,9 +237,9 @@
 			}
 		},
 		"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-languages": {

package.json

@@ -25,7 +25,7 @@
 	"devDependencies": {
 		"@typescript/vfs": "^1.3.4",
 		"husky": "^5.1.3",
-		"monaco-editor-core": "^0.24.0",
+		"monaco-editor-core": "0.25.0",
 		"monaco-languages": "^2.4.0",
 		"monaco-plugin-helpers": "^1.0.3",
 		"prettier": "^2.2.1",