2017-09-12 22:34:25 +00:00
|
|
|
// Initial content script for the Web API manager extension, that creates
|
|
|
|
// the "namespace" we'll use for all the content scripts in the extension.
|
2017-10-14 20:24:18 +00:00
|
|
|
(function () {
|
|
|
|
"use strict";
|
2017-10-20 15:09:12 +00:00
|
|
|
window.WEB_API_MANAGER = {
|
|
|
|
constants: {
|
2017-10-23 08:29:59 +00:00
|
|
|
// The name of the cookie that will be used to push domain
|
|
|
|
// configuration information into pages.
|
2017-10-22 05:40:39 +00:00
|
|
|
cookieName: "_wamtcstandards",
|
2017-10-23 08:29:59 +00:00
|
|
|
|
|
|
|
// The value in the packed array of options thats used to
|
|
|
|
// include the shouldLog option in the in bitfield encoded in
|
|
|
|
// the above cookie.
|
2017-10-20 15:09:12 +00:00
|
|
|
shouldLogKey: "shouldLogKey"
|
|
|
|
}
|
|
|
|
};
|
2017-10-14 20:24:18 +00:00
|
|
|
}());
|