2017-10-14 15:24:18 -05:00
|
|
|
/*global window*/
|
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";
|
|
|
|
|
window.WEB_API_MANAGER = {};
|
|
|
|
|
}());
|
