From 4382e834557c08affd0a6fede12d392ffebc41c0 Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Tue, 24 Nov 2020 23:00:07 +0000
Subject: [PATCH] chore(deps): bump highlight.js from 9.18.1 to 9.18.5

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

Signed-off-by: dependabot[bot] <support@github.com>
---
 package-lock.json | 15 ++++++---------
 1 file changed, 6 insertions(+), 9 deletions(-)

diff --git a/package-lock.json b/package-lock.json
index ac28452..9791f18 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -374,9 +374,6 @@
     },
     "@quid2/adt": {
       "version": "file:../adt",
-      "requires": {
-        "@quid2/prim": "@quid2/prim@git+https://github.com/Quid2/ts-core.git"
-      },
       "dependencies": {
         "@quid2/prim": {
           "version": "git+https://github.com/Quid2/ts-core.git",
@@ -4351,9 +4348,9 @@
       "dev": true
     },
     "highlight.js": {
-      "version": "10.0.3",
-      "resolved": "https://registry.npmjs.org/highlight.js/-/highlight.js-10.0.3.tgz",
-      "integrity": "sha512-9FG7SSzv9yOY5CGGxfI6NDm7xLYtMOjKtPBxw7Zff3t5UcRcUNTGEeS8lNjhceL34KeetLMoGMFTGoaa83HwyQ==",
+      "version": "10.4.0",
+      "resolved": "https://registry.npmjs.org/highlight.js/-/highlight.js-10.4.0.tgz",
+      "integrity": "sha512-EfrUGcQ63oLJbj0J0RI9ebX6TAITbsDBLbsjr881L/X5fMO9+oadKzEF21C7R3ULKG6Gv3uoab2HiqVJa/4+oA==",
       "dev": true
     },
     "home-or-tmp": {
@@ -8391,9 +8388,9 @@
           }
         },
         "highlight.js": {
-          "version": "9.18.1",
-          "resolved": "https://registry.npmjs.org/highlight.js/-/highlight.js-9.18.1.tgz",
-          "integrity": "sha512-OrVKYz70LHsnCgmbXctv/bfuvntIKDz177h0Co37DQ5jamGZLVmoCVMtjMtNZY3X9DrCcKfklHPNeA0uPZhSJg==",
+          "version": "9.18.5",
+          "resolved": "https://registry.npmjs.org/highlight.js/-/highlight.js-9.18.5.tgz",
+          "integrity": "sha512-a5bFyofd/BHCX52/8i8uJkjr9DYwXIPnM/plwI6W7ezItLGqzt7X2G2nXuYSfsIJdkwwj/g9DG1LkcGJI/dDoA==",
           "dev": true
         },
         "jsonfile": {