| Index: chrome/content/ui/filters-backup.js |
| =================================================================== |
| --- a/chrome/content/ui/filters-backup.js |
| +++ b/chrome/content/ui/filters-backup.js |
| @@ -325,13 +325,7 @@ |
| if (checksum) |
| list.splice(1, 0, "! Checksum: " + checksum); |
| - function* generator() |
| - { |
| - for (let i = 0; i < list.length; i++) |
| - yield list[i]; |
| - } |
| - |
| - IO.writeToFile(file, generator(), function(e) |
| + IO.writeToFile(file, list, function(e) |
| { |
| if (e) |
| { |