type="text/javascript" is redundant

Just a small optimization/modernization to move the web forward.

`<script>` elements only need an explicit type when it is something other than JavaScript.

This is fully backwards compatible and compliant with HTML5.