diff options
Diffstat (limited to 'public/js/history.js')
-rw-r--r-- | public/js/history.js | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/public/js/history.js b/public/js/history.js index 91f3cccf..d5082dd9 100644 --- a/public/js/history.js +++ b/public/js/history.js @@ -4,6 +4,7 @@ var common = require('./common'); var checkIfAuth = common.checkIfAuth; var urlpath = common.urlpath; var serverurl = common.serverurl; +var getLoginState = common.getLoginState; var extra = require('./extra'); var renderFilename = extra.renderFilename; @@ -414,5 +415,7 @@ module.exports = { removeHistory: removeHistory, parseStorageToHistory: parseStorageToHistory, postHistoryToServer: postHistoryToServer, - deleteServerHistory: deleteServerHistory + deleteServerHistory: deleteServerHistory, + parseServerToHistory: parseServerToHistory, + saveStorageHistoryToServer: saveStorageHistoryToServer } |