Function TM_functionIdFix

src/environment.js:512–518

()

};

function TM_functionIdFix() {
    if (!Function.prototype.getID) {

        Function.prototype.getID = TM_functionIdFix_getID;
        Function.prototype.setID = TM_functionIdFix_setID;
    }
}

function TM_docEvalFix() {
    var k = 'HTMLDocument';