export var ExtensionId;
(function (ExtensionId) {
    ExtensionId[ExtensionId["mval"] = 0] = "mval";
    ExtensionId[ExtensionId["cnt"] = 1] = "cnt";
    ExtensionId[ExtensionId["peritext"] = 2] = "peritext";
    ExtensionId[ExtensionId["quill"] = 3] = "quill";
})(ExtensionId || (ExtensionId = {}));
export var ExtensionName;
(function (ExtensionName) {
    ExtensionName[ExtensionName["mval"] = 0] = "mval";
    ExtensionName[ExtensionName["cnt"] = 1] = "cnt";
    ExtensionName[ExtensionName["peritext"] = 2] = "peritext";
    ExtensionName[ExtensionName["quill"] = 3] = "quill";
})(ExtensionName || (ExtensionName = {}));
//# sourceMappingURL=constants.js.map