code: function htmlDispatch(stream, state) {
        if (stream.match(scriptStartRegex, false)) {
            state.token=scriptingDispatch;
            return scriptingMode.token(stream, state.scriptState);
            }
        else
            return htmlMixedMode.token(stream, state.htmlState);
      }
docs: tokenizer when in html mode