src/extensibility/ExtensionManager.js
function markForDisabling(id, mark) {
        if (mark) {
            _idsToDisable[id] = true;
        } else {
            delete _idsToDisable[id];
        }
        exports.trigger("statusChange", id);
    }
function markForDisabling(id, mark) {
        if (mark) {
            _idsToDisable[id] = true;
        } else {
            delete _idsToDisable[id];
        }
        exports.trigger("statusChange", id);
    }
function markForDisabling ( id , mark ) { if ( mark ) { _idsToDisable [ id ] = true ; } else { delete _idsToDisable [ id ] ; } exports . trigger ( "statusChange" , id ) ; }
Marks an extension for disabling later, or unmarks an extension previously marked.

@param {string} id The id of the extension
@param {boolean} mark Whether to mark or unmark the extension.
Marks an extension for disabling later or unmarks an extension previously marked .