i got issue with textedit.js it shows like bunch of words i tried both notepad / word pad same

can somebody please send edited .js file, i have used the file from 3.7.1 it has some difference too :-
specified in readme
Code:
case 'PHP':
{
this.apply_format('removeformat');
}
break;
i see
Code:
case"PHP":this.apply_format("removeformat");break}if
am i doing something wrong if anyway i add asked text my toolbar is not working only after i replace with org .js file its working