DumpEditingHistory.js
EditingHistoryUtil.js