2017-09-12 17:34:25 -05: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 15:24:18 -05:00
|
|
|
(function () {
|
|
|
|
"use strict";
|
2017-10-20 11:09:12 -04:00
|
|
|
window.WEB_API_MANAGER = {
|
|
|
|
constants: {
|
2017-10-23 03:29:59 -05:00
|
|
|
// The name of the cookie that will be used to push domain
|
|
|
|
// configuration information into pages.
|
2017-10-22 00:40:39 -05:00
|
|
|
cookieName: "_wamtcstandards",
|
2017-10-23 03:29:59 -05: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 11:09:12 -04:00
|
|
|
shouldLogKey: "shouldLogKey"
|
|
|
|
}
|
|
|
|
};
|
2017-10-14 15:24:18 -05:00
|
|
|
}());
|