Fix history deletion

public/js/cover.js

@@ -17,6 +17,7 @@ var postHistoryToServer = historyModule.postHistoryToServer;
 var deleteServerHistory = historyModule.deleteServerHistory;
 var parseServerToHistory = historyModule.parseServerToHistory;
 var saveStorageHistoryToServer = historyModule.saveStorageHistoryToServer;
+var clearDuplicatedHistory = historyModule.clearDuplicatedHistory;
 
 var saveAs = require('file-saver').saveAs;
 var List = require('list.js');

public/js/history.js

@@ -10,7 +10,7 @@ var extra = require('./extra');
 var renderFilename = extra.renderFilename;
 var md = extra.md;
 
-var migrateHistoryFromTempCallback = null;
+window.migrateHistoryFromTempCallback = null;
 
 migrateHistoryFromTemp();
 
@@ -417,5 +417,6 @@ module.exports = {
     postHistoryToServer: postHistoryToServer,
     deleteServerHistory: deleteServerHistory,
     parseServerToHistory: parseServerToHistory,
-    saveStorageHistoryToServer: saveStorageHistoryToServer
+    saveStorageHistoryToServer: saveStorageHistoryToServer,
+    clearDuplicatedHistory: clearDuplicatedHistory
 }