~harmless/security.txt

f3103d8fcdced58bf40ebfff8abd8d7a95a19491 — Travis Paul 1 year, 8 months ago e397376
Remove unused options
2 files changed, 1 insertions(+), 10 deletions(-)

M src/js/global.js
M src/options.html
M src/js/global.js => src/js/global.js +1 -2
@@ 1,8 1,7 @@
/* jshint unused: false */

const defaultOptions = {
  check_humanstxt: 'ON',
  color_theme: 'AUTO',
  check_humanstxt: 'ON'
};

function i18n(msg) {

M src/options.html => src/options.html +0 -8
@@ 15,14 15,6 @@
        </select>
      </div>
      <div>
        <label for="color_theme" data-i18n></label>
        <select id="color_theme" class="browser-style" data-i18n>
          <option value="AUTO"></option>
          <option value="DARK"></option>
          <option value="LIGHT"></option>
        </select>
      </div>
      <div>
        <button type="button" id="reset_default" data-i18n class="browser-style"></button>
      </div>
    </form>