Function time

src/background.js:196–212

()

                }

                var time = function() {
                    r.script = mergeCludes(r.script);

                    if (processSource) {
                        var ss = { url: r.script.fileURL,
                                   src: r.script.textContent,
                                   ask: false,
                                   cb : function() { /* done! */ },
                                   hash: r.script.hash };
                        addNewUserScript(ss);
                    } else {
                        r.script.id = scriptParser.getScriptId(r.script.name);
                        storeScript(r.script.name, r.script, false);
                    }

                    check();
                };
                if (cb) {
                    running++;
                    window.setTimeout(time, 10);