| Index: safari/ext/background.js |
| =================================================================== |
| --- a/safari/ext/background.js |
| +++ b/safari/ext/background.js |
| @@ -703,13 +703,13 @@ |
| // Preferences were previously encoded as JSON for compatibility |
| // with localStorage, which has been used on Chrome. |
| - migratePrefs: function(mapFunc) |
| + migratePrefs: function(hooks) |
| { |
| var settings = safari.extension.settings; |
| for (var key in settings) |
| { |
| - var item = mapFunc(key, settings[key]); |
| + var item = hooks.map(key, settings[key]); |
| // Only touch settings if the key changed. Otherwise we would keep |
| // migrating "currentVersion" over and over again on every initilization. |
| @@ -719,6 +719,8 @@ |
| settings[item.key] = item.value; |
| } |
| } |
| + |
| + hooks.done(); |
| }, |
| // While moving away from the FileSystem API on Chrome the data structure |