Although the description of this bug here is only about the tag </script> when used inside a string

<script src="www.google.com.br/foobar.js">
  var string = "</script>";
  //this is highlighted incorrectly (and so is the closing double quotes)
</script>

, this seems to be specific case of a larger bug where /> is used inside strings. Should this be marked as duplicate of the bug #565524 (which itself has 2 other duplicates).

Could someone maybe mark it as such?

*** Bug 670803 has been marked as a duplicate of this bug. ***

Created attachment 268195 [details] [review]
html: fix handling of the end of <style> and <script>

Example:

<style>
p {
    border: "</style>";
    padding: "/>";
    margin: 5;
}
</style>

<script language="/>" />

<script language="javascript">
var a = "/>";
var b = "</script>";
var c = 5;
</script>
<p>
var d = 6
</p>

swilmet> it relies on the default value of extend-parent (true), so the css or javascript has a higher priority than the <end>
<swilmet> if the js or css context can not highlight the text, the <end> is tried
<swilmet> that's how I understand the thing

The commit is pushed:
https://git.gnome.org/browse/gtksourceview/commit/?id=e35de2d4e808c3b9ddc71f95b824ac24e4d79c45

I hope there is no regressions.

*** Bug 733744 has been marked as a duplicate of this bug. ***