if(djConfig["disableWhatWGStorage"] == true){ return; }    this._domain = (location.hostname == "localhost") ? "localhost.localdomain" : location.hostname;    this.initialized = true; dojox.storage.manager.loaded(); }, 
if(djConfig["disableWhatWGStorage"] == true){ return; }    this._domain = (location.hostname == "localhost") ? "localhost.localdomain" : location.hostname;    this.initialized = true; dojox.storage.manager.loaded(); }, 
		initialize: function(){			if(djConfig["disableWhatWGStorage"] == true){				return;			}						// get current domain			// see: https://bugzilla.mozilla.org/show_bug.cgi?id=357323			this._domain = (location.hostname == "localhost") ? "localhost.localdomain" : location.hostname;			// console.debug(this._domain);						// indicate that this storage provider is now loaded			this.initialized = true;			dojox.storage.manager.loaded();			},
5168	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5168/731148a10a2e4f8f74ed09ad37338b24a567cb6c/WhatWGStorageProvider.js/clean/storage/WhatWGStorageProvider.js