From 7dd75082abd31b725d9907a93ab97fe1434bab04 Mon Sep 17 00:00:00 2001
From: Alex Yatskov <alex@foosoft.net>
Date: Sun, 16 Jul 2017 12:59:16 -0700
Subject: [PATCH] rename options to settings

---
 ext/bg/js/{options.js => settings.js}  | 0
 ext/bg/{options.html => settings.html} | 2 +-
 ext/manifest.json                      | 2 +-
 3 files changed, 2 insertions(+), 2 deletions(-)
 rename ext/bg/js/{options.js => settings.js} (100%)
 rename ext/bg/{options.html => settings.html} (99%)

diff --git a/ext/bg/js/options.js b/ext/bg/js/settings.js
similarity index 100%
rename from ext/bg/js/options.js
rename to ext/bg/js/settings.js
diff --git a/ext/bg/options.html b/ext/bg/settings.html
similarity index 99%
rename from ext/bg/options.html
rename to ext/bg/settings.html
index 34728d90..19dfec22 100644
--- a/ext/bg/options.html
+++ b/ext/bg/settings.html
@@ -277,6 +277,6 @@
         <script src="/mixed/lib/handlebars.min.js"></script>
         <script src="/bg/js/templates.js"></script>
         <script src="/bg/js/util.js"></script>
-        <script src="/bg/js/options.js"></script>
+        <script src="/bg/js/settings.js"></script>
     </body>
 </html>
diff --git a/ext/manifest.json b/ext/manifest.json
index ab180faa..be9f3208 100644
--- a/ext/manifest.json
+++ b/ext/manifest.json
@@ -25,7 +25,7 @@
     }],
     "minimum_chrome_version": "57.0.0.0",
     "options_ui": {
-        "page": "bg/options.html"
+        "page": "bg/settings.html"
     },
     "permissions": [
         "<all_urls>",