| Index: safari/ext/background.js |
| =================================================================== |
| --- a/safari/ext/background.js |
| +++ b/safari/ext/background.js |
| @@ -719,6 +719,37 @@ |
| } |
| hooks.done(); |
| + }, |
| + |
| + // While moving away from the FileSystem API on Chrome the data structure |
| + // for files on Safari changed as well, in order to keep thing consistent. |
| + migrateFiles: function(callback) |
| + { |
| + var settings = safari.extension.settings; |
| + |
| + for (var key in settings) |
| + { |
| + var match = key.match(/^(.*)\/lastModified$/) |
| + |
| + if (match) |
| + { |
| + var filename = match[1]; |
| + var content = settings[filename]; |
| + |
| + if (typeof content == "string") |
| + { |
| + settings["file:" + filename] = { |
| + content: content.split(/[\r\n]+/), |
| + lastModified: settings[key] |
| + }; |
| + |
| + delete settings[key]; |
| + delete settings[filename]; |
| + } |
| + } |
| + } |
| + |
| + callback(); |
| } |
| }; |