diff options
| author |  Federico Brigante <github@bfred.it>
| 2019-08-31 01:26:28 +0700 |
|---|---|---|
| committer |  GitHub <noreply@github.com>
| 2019-08-31 01:26:28 +0700 |
| commit | 8d0393542bd712d7bb7f93874118dedd07b62c7b (patch) | |
| tree | 0a139195466ba76bf5abdd6cbb979e55dcf3322a /source/options.tsx | |
| parent | 0ca864af6da9cac9f503e4abd0c58b60fbe1abc6 (diff) | |
| download | refined-github-19.8.31.tar.gz refined-github-19.8.31.tar.zst refined-github-19.8.31.zip | |
Update dependencies and lint (#2391)19.8.31
Diffstat (limited to 'source/options.tsx')
| -rw-r--r-- | source/options.tsx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/source/options.tsx b/source/options.tsx index 1bc890a2..bc5171b9 100644 --- a/source/options.tsx +++ b/source/options.tsx @@ -66,7 +66,7 @@ async function init(): Promise<void> { <select> {[...optionsByDomain.keys()].map(domain => <option value={domain}>{domain}</option>)} </select> - ) as any as HTMLSelectElement; + ) as unknown as HTMLSelectElement; form.before(<p>Domain selector: {dropdown}</p>, <hr/>); dropdown.addEventListener('change', () => { for (const [domain, options] of optionsByDomain) { |