diff options
Diffstat (limited to 'public')
| -rw-r--r-- | public/js/extra.js | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/public/js/extra.js b/public/js/extra.js index f449bed1..d4a6c5cd 100644 --- a/public/js/extra.js +++ b/public/js/extra.js @@ -1,5 +1,6 @@ var hljs = require('highlight.js'); var PDFObject = require('pdfobject'); +var S = require('string'); //auto update last change var createtime = null; |