Function removeUserScript

src/background.js:2800–2803

(name)

/* ###### UserScript Runtime ####### */

var removeUserScript = function(name) {
    storeScript(name, null);
    storeScriptStorage(name, null);
};

var ts_ify = function(u) {
    if (u) u += (u.search('\\?') == -1 ? '?' : '&') + 'ts=' + (new Date()).getTime();