web: Rename `settings.htm` to `settings.html`

web/packages/extension/js/util.js

@@ -183,7 +183,7 @@ function tabSendmessage() {
 
 function openSettingsPage() {
     if (chrome && chrome.tabs && chrome.tabs.create) {
-        chrome.tabs.create({ url: "/settings.htm" });
+        chrome.tabs.create({ url: "/settings.html" });
         /* Open the settings page manually */
     } else if (browser && browser.runtime && browser.runtime.openOptionsPage) {
         browser.runtime.openOptionsPage();

web/packages/extension/manifest.json

@@ -26,7 +26,7 @@
         "browser_style": true
     },
     "options_ui": {
-        "page": "settings.htm",
+        "page": "settings.html",
         "open_in_tab": true
     }
 }