context: function cleanIndentation(text){    var lines = splitLines(text);        var minIndent = -1;    for (var i = 0; i < lines.length; ++i)    {        var line = lines[i];        var indent = getIndent(line);        if (minIndent == -1 && line && !isWhitespace(line))            minIndent = indent;        if (indent >= minIndent)            lines[i] = line.substr(minIndent);    }    return lines.join("\n");}
meta: 7450	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/7450/856922939002b0d3462c04ce77a6e2ad91741388/commandLine.js/buggy/extension/content/firebug/commandLine.js