Removing HistoryInterface (no longer needed)

common/src/module/history.mjs

@@ -17,7 +17,7 @@
  */
 
 import { Module } from "./common.mjs"
-import { HelperInterface, HistoryInterface, NUMBER, STRING } from "./interface.mjs"
+import { HelperInterface, NUMBER, STRING } from "./interface.mjs"
 import { BaseEvent } from "../events.mjs"
 import { Action, Actions } from "../history/index.mjs"
 

common/src/module/interface.mjs

@@ -85,15 +85,6 @@ export class DialogInterface extends Interface {
     show = FUNCTION
 }
 
-export class HistoryInterface extends Interface {
-    undo = FUNCTION
-    redo = FUNCTION
-    clear = FUNCTION
-    addToHistory = FUNCTION
-    unserialize = FUNCTION
-    serialize = FUNCTION
-}
-
 export class LatexInterface extends Interface {
     /**
      * @param {string} markup - LaTeX markup to render