1 files changed, 1 insertions, 0 deletions
diff --git a/public/js/extra.js b/public/js/extra.js
index 4ec7e80f..329aa153 100644
--- a/public/js/extra.js
+++ b/public/js/extra.js
@@ -1,6 +1,7 @@
 var hljs = require('highlight.js');
 var PDFObject = require('pdfobject');
 var S = require('string');
+var saveAs = require('file-saver').saveAs;
 
 //auto update last change
 var createtime = null;