Use safari.extension.settings instead of localStorage and WebSQL

lib/prefs.js

 /*
  * This file is part of Adblock Plus <http://adblockplus.org/>,
  * Copyright (C) 2006-2013 Eyeo GmbH
  *
  * Adblock Plus is free software: you can redistribute it and/or modify
  * it under the terms of the GNU General Public License version 3 as
  * published by the Free Software Foundation.
  *
  * Adblock Plus is distributed in the hope that it will be useful,
  * but WITHOUT ANY WARRANTY; without even the implied warranty of
@@ skipping 32 matching lines @@
 
 let listeners = [];
 
 function defineProperty(key)
 {
   let value = null;
   Prefs.__defineGetter__(key, function()
   {
     if (value === null)
     {
-      if (key in localStorage)
+      if (key in ext.storage)
       {
         try
         {
-          value = JSON.parse(localStorage[key]);
+          value = JSON.parse(ext.storage[key]);
         }
         catch(e)
         {
           Cu.reportError(e);
         }
       }
 
       if (value === null)
         value = JSON.parse(JSON.stringify(defaults[key]));
     }
     return value;
   });
   Prefs.__defineSetter__(key, function(newValue)
   {
     if (typeof newValue != typeof defaults[key])
       throw new Error("Attempt to change preference type");
 
     let stringified = JSON.stringify(newValue);
     if (stringified != JSON.stringify(defaults[key]))
-      localStorage[key] = stringified;
+      ext.storage[key] = stringified;
     else
-      delete localStorage[key];
+      delete ext.storage[key];
 
     value = newValue;
 
     for each (let listener in listeners)
       listener(key);
 
     return value;
   });
 }
 
 
 let Prefs = exports.Prefs = {
   addListener: function(listener)
   {
     if (listeners.indexOf(listener) < 0)
       listeners.push(listener);
   },
 
   removeListener: function(listener)
   {
     let index = listeners.indexOf(listener);
     if (index >= 0)
       listeners.splice(index, 1);
   },
 };
 
 for (let key in defaults)
   defineProperty(key);