michael@0: [DEFAULT]
michael@0: 
michael@0: [browser_download_history.js]
michael@0: [browser_nsIDownloadManagerUI.js]