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) |
{ |