From 8d978cd2d022a83afb6dc56bb55758bc99f3adda Mon Sep 17 00:00:00 2001
From: Yukai Huang <yukaihuangtw@gmail.com>
Date: Fri, 4 Oct 2019 23:03:45 +0800
Subject: [PATCH] Fix linting error

Signed-off-by: Yukai Huang <yukaihuangtw@gmail.com>
---
 public/js/extra.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/public/js/extra.js b/public/js/extra.js
index 977e6bc7..03f04664 100644
--- a/public/js/extra.js
+++ b/public/js/extra.js
@@ -1,5 +1,5 @@
 /* eslint-env browser, jquery */
-/* global moment, serverurl, plantumlServer, Viz */
+/* global moment, serverurl, plantumlServer */
 
 import Prism from 'prismjs'
 import hljs from 'highlight.js'