type="text/javascript" is redundant

Just a small optimization/modernization.

<script> elements only need an explicit type when it is something other than JavaScript.