// Initial content script for the Web API manager extension, that creates
// the "namespace" we'll use for all the content scripts in the extension.
window.WEB_API_MANAGER = {};