diff options
Diffstat (limited to 'common/modules/options.jsm')
| -rw-r--r-- | common/modules/options.jsm | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/common/modules/options.jsm b/common/modules/options.jsm index aaa6aba1..9dfecffa 100644 --- a/common/modules/options.jsm +++ b/common/modules/options.jsm @@ -756,14 +756,12 @@ var Options = Module("options", { opt.set(opt.globalValue, Option.SCOPE_GLOBAL, true); }, window); - function escape(str) str.replace(/[<&]/g, function (m) ({ "&": "&", "<": "<" })[m]); - services["dactyl:"].pages["options.dtd"] = function () [null, util.makeDTD( iter(([["option", o.name, "default"].join("."), - escape(o.type === "string" ? o.defaultValue.replace(/'/g, "''") : - o.value === true ? "on" : - o.value === false ? "off" : o.stringDefaultValue)] + o.type === "string" ? o.defaultValue.replace(/'/g, "''") : + o.value === true ? "on" : + o.value === false ? "off" : o.stringDefaultValue] for (o in self)), ([["option", o.name, "type"].join("."), o.type] for (o in self)), |