// Dummy child script, used by browser_cache.js