context: function checkForImage() {  image                                 = document.getElementById( "image.srcInput" ).value;  if ( !image )  return 0;    /* look for an extension */  var tailindex                         = image.lastIndexOf(".");   if ( tailindex == 0 || tailindex == -1 ) /* -1 is not found */  return 0;     /* move past period, get the substring from the first character after the '.' to the last character (length) */  tailindex = tailindex + 1;  var type                              = image.substring(tailindex,image.length);    /* convert extension to lower case */  if (type)    type = type.toLowerCase();  switch( type )  {    case "gif":    case "jpg":    case "jpeg":    case "png":              return type;    break;    default : return 0;    }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/25771bd9e4d7db6905ed7b17947434267aa09319/EdImageProps.js/clean/editor/ui/dialogs/content/EdImageProps.js