Merge pull request #493 from sayanarijit/patch-1

Minor fix in commands extension

commands/options.js

@@ -5,7 +5,7 @@ const commandName = 'toggle-feature';
  */
 async function updateUI() {
   let commands = await browser.commands.getAll();
-  for (command of commands) {
+  for (let command of commands) {
     if (command.name === commandName) {
       document.querySelector('#shortcut').value = command.shortcut;
     }