diff options
author | Wu Cheng-Han | 2016-10-19 22:14:32 +0800 |
---|---|---|
committer | Wu Cheng-Han | 2016-10-19 22:14:32 +0800 |
commit | 7ebc84bec0bf8f6e1f28e5fb3e9e7449bd7a2347 (patch) | |
tree | e4e91a306de3acb4b0eb7cc91384f006a729122f /public/js/extra.js | |
parent | d70d0318e5acb7ad2994689741cfee976e754792 (diff) |
Try to remove unused front-end dependency
Diffstat (limited to '')
-rw-r--r-- | public/js/extra.js | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/public/js/extra.js b/public/js/extra.js index 1eae80f6..499bdc4c 100644 --- a/public/js/extra.js +++ b/public/js/extra.js @@ -1,3 +1,8 @@ +require('prismjs/themes/prism.css'); +require('highlight.js/styles/github-gist.css'); + +var Prism = require('prismjs'); +require('prismjs/components/prism-wiki'); var hljs = require('highlight.js'); var PDFObject = require('pdfobject'); var S = require('string'); |