| Index: chrome/content/ui/filters-backup.js | 
| =================================================================== | 
| --- a/chrome/content/ui/filters-backup.js | 
| +++ b/chrome/content/ui/filters-backup.js | 
| @@ -169,17 +169,17 @@ var Backup = | 
| FilterStorage.loadFromDisk(file); | 
| }, | 
|  | 
| /** | 
| * Restores custom filters from a file. | 
| */ | 
| restoreCustomFilters: function(/**nsIFile*/ file) | 
| { | 
| -    IO.readFromFile(file, true, { | 
| +    IO.readFromFile(file, { | 
| seenHeader: false, | 
| subscription: null, | 
| process: function(line) | 
| { | 
| if (!this.seenHeader) | 
| { | 
| // This should be a header | 
| this.seenHeader = true; | 
| @@ -326,17 +326,17 @@ var Backup = | 
| list.splice(1, 0, "! Checksum: " + checksum); | 
|  | 
| function generator() | 
| { | 
| for (let i = 0; i < list.length; i++) | 
| yield list[i]; | 
| } | 
|  | 
| -    IO.writeToFile(file, true, generator(), function(e) | 
| +    IO.writeToFile(file, generator(), function(e) | 
| { | 
| if (e) | 
| { | 
| Cu.reportError(e); | 
| Utils.alert(window, E("backupButton").getAttribute("_backupError"), E("backupButton").getAttribute("_backupDialogTitle")); | 
| } | 
| }); | 
| } | 
|  |