✏️ Editing: undo-manager.min.js