Bump highlight.js from 10.1.1 to 10.1.2

Bumps [highlight.js](https://github.com/highlightjs/highlight.js) from 10.1.1 to 10.1.2.
- [Release notes](https://github.com/highlightjs/highlight.js/releases)
- [Changelog](https://github.com/highlightjs/highlight.js/blob/10.1.2/CHANGES.md)
- [Commits](https://github.com/highlightjs/highlight.js/compare/10.1.1...10.1.2)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>

package.json

@@ -8,7 +8,7 @@
     "chosen-js": "^1.8.7",
     "d3": "^5.16.0",
     "d3-tip": "^0.9.1",
-    "highlight.js": "^10.1.1",
+    "highlight.js": "^10.1.2",
     "jquery": "^3.5.1",
     "jquery-ui": "^1.12.1",
     "jquery-ujs": "^1.2.2",