dojo.string.endsWith = function(/*string*/str, /*string*/end, /*boolean*/ignoreCase){// summary://  Returns true if 'str' ends with 'end'  if(ignoreCase){    str = str.toLowerCase();    end = end.toLowerCase();  }  if((str.length - end.length) < 0){    return false; // boolean  }  return str.lastIndexOf(end) == str.length - end.length; // boolean}
6315	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6315/65ae7e8768a77997b7894e274bc242069a1cb027/struts_dojo.js.uncompressed.js/clean/src/main/resources/org/apache/struts2/static/dojo/struts_dojo.js.uncompressed.js