    get registeredEditors()    {        var newArray = [];        if ( editors.length > 0 )        {            newArray.push.apply(newArray, editors);            if ( externalEditors.length > 0 )                newArray.push("-");        }        if ( externalEditors.length > 0 )            newArray.push.apply(newArray, externalEditors);                    return newArray;    },
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/0fdfc663d6e6e0d4a6043b4035a0f87f31c76c2d/firebug.js/buggy/extension/content/firebug/firebug.js