From 5c1c894df936fde38a351c8c7db6a6e323f4331c Mon Sep 17 00:00:00 2001
From: Alex Yatskov <alex@foosoft.net>
Date: Wed, 11 Jan 2017 19:55:51 -0800
Subject: [PATCH] versioning

---
 ext/bg/js/options.js | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/ext/bg/js/options.js b/ext/bg/js/options.js
index 464c2116..822f5a16 100644
--- a/ext/bg/js/options.js
+++ b/ext/bg/js/options.js
@@ -17,6 +17,19 @@
  */
 
 
+function versionOptions(options) {
+    const version = options.version || 0;
+    const fixups = [
+        () => {}
+    ];
+
+    if (version < fixups.length) {
+        fixups[version]();
+        ++options.version;
+        versionOptions(options);
+    }
+}
+
 function sanitizeOptions(options) {
     const defaults = {
         activateOnStartup: true,