diff --git a/wiki/empty.html b/wiki/empty.html
index e26bb319c..21452b8f8 100644
--- a/wiki/empty.html
+++ b/wiki/empty.html
@@ -6261,6 +6261,16 @@ var loadOptionsCookie = loadOptions;
function getCookies()
{
+ if (typeof(Storage) !== "undefined") {
+ // modern browser: use HTML5 web storage
+ var storedData = {};
+ for (var n = window.localStorage.length || 0; --n >= 0; ) {
+ var key = window.localStorage.key(n);
+ storedData[key] = window.localStorage[key];
+ }
+ return storedData;
+ }
+ // else: use old-style cookie storage
var cookieList = document.cookie.split(';');
var i,cookies = {};
for(i=0; i= 0; ) {
+ var key = window.localStorage.key(n);
+ storedData[key] = window.localStorage[key];
+ }
+ return storedData;
+ }
+ // else: use old-style cookie storage
var cookieList = document.cookie.split(';');
var i,cookies = {};
for(i=0; i