Minor changes

- Update assets from gorhill/uBlock/master
- Remove whitespace from element-picker.js
- Simplify code in profiler.js (btw, Date is still needed as fallback
  for older browsers)
- Clarification for Safari's storage where the QUOTA_BYTES came from

src/js/profiler.js

@@ -22,7 +22,7 @@
 /******************************************************************************/
 
 var quickProfiler = (function() {
-    var timer = typeof performance === "undefined" ? Date : performance;
+    var timer = window.performance || Date;
     var time = 0;
     var count = 0;
     var tstart = 0;

src/js/vapi-background.js

@@ -271,7 +271,7 @@ if (window.chrome) {
 
     vAPI.storage = {
         _storage: safari.extension.settings,
-        QUOTA_BYTES: 50 * 1024 * 1024,
+        QUOTA_BYTES: 52428800, // copied from Info.plist
         get: function(keys, callback) {
             if (typeof callback !== 'function') {
                 return;