type="text/javascript" is redundant

<script> elements only need an explicit type when it is something
other than JavaScript.
Fixing merge conflict from Pull request