diff --git a/background.js b/background.js index 95b97b82..351948e4 100644 --- a/background.js +++ b/background.js @@ -188,7 +188,7 @@ function fixBoolean(b) { return null; } -const namespacePattern = /^\s*(@namespace[^;]+;\s*)+$/; +var namespacePattern = /^\s*(@namespace[^;]+;\s*)+$/; function getApplicableSections(style, url) { var sections = style.sections.filter(function(section) { return sectionAppliesToUrl(section, url); diff --git a/edit.js b/edit.js index 39c6f0bf..62ea7f2a 100644 --- a/edit.js +++ b/edit.js @@ -607,7 +607,7 @@ function initHooks() { } function updateTitle() { - const DIRTY_TITLE = "* $"; + var DIRTY_TITLE = "* $"; var name = document.getElementById("name").savedValue; var clean = isCleanGlobal();