[c] (0) When <script type=''> is given, it must match the type of the…

… script, even if the script is JS. (credit: hs)

git-svn-id: http://svn.whatwg.org/webapps@2016 340c8d12-0b0e-0410-8428-c7bf67bfef74

index

    inline or may be imported from an external file using the <code
    title=attr-script-src><a href="#src9">src</a></code> attribute. If the
    language is not that described by "<code title="">text/javascript</code>",
-   then the type of the script's language must be given using the <code
-   title=attr-script-type><a href="#type11">type</a></code> attribute.
+   then the <code title=attr-script-type><a href="#type11">type</a></code>
+   attribute must be present. If the <code title=attr-script-type><a
+   href="#type11">type</a></code> attribute is present, its value must be the
+   type of the script's language.
 
   <p>When used to include script data, the script data must be embedded
    inline, the format of the data must be given using the <code

source

   embedded inline or may be imported from an external file using the
   <code title="attr-script-src">src</code> attribute. If the language
   is not that described by "<code title="">text/javascript</code>",
-  then the type of the script's language must be given using the <code
-  title="attr-script-type">type</code> attribute.</p>
+  then the <code title="attr-script-type">type</code> attribute must
+  be present. If the <code title="attr-script-type">type</code>
+  attribute is present, its value must be the type of the script's
+  language.</p>
 
   <p>When used to include script data, the script data must be
   embedded inline, the format of the data must be given using the