Function getExtensionId

src/scripts/util.js:67–72

(url)

}

function getExtensionId(url) {
    return (cws_re.exec(url) ||
        ncws_re.exec(url) ||
        ows_re.exec(url) ||
        ews_re.exec(url) || [undefined, undefined])[1];
}

function buildExtensionUrl(href, extensionId = undefined) {
    extensionId = extensionId || getExtensionId(href);