rem: if (typeof(selenium) != 'undefined') { 
add: if (typeof(selenium) != 'undefined' && selenium != undefined) { 
context: function eval_locator(locator, inDocument){    locator = parse_locator(locator);        var element;    if (typeof(selenium) != 'undefined') {        if (typeof(editor) == 'undefined' || editor.state == 'playing') {            smart_log('info', 'Trying [' + locator.type + ']: '                + locator.string);        }        element = selenium.browserbot.findElementBy(locator.type,            locator.string, inDocument);    }    else {        if (!GLOBAL.mozillaBrowserBot) {            // create a browser bot to evaluate the locator. Hand it the IDE            // window as a dummy window.            GLOBAL.mozillaBrowserBot = new MozillaBrowserBot(window)        }        element = GLOBAL.mozillaBrowserBot            .findElementBy(locator.type, locator.string, inDocument);    }    if (element != null) {        return element;    }        // Element was not found by any locator function.    throw new SeleniumError("Element " + locator.string + " not found");}
meta: 3428	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3428/f0eaec7983fcf157c1fb9c635f6646971998abcd/ui-element.js/buggy/src/content/ui-element.js