Clarify what version of Opera we're talking about here

gsnedders · jgraham · commit c5d9edf492a3 · 2020-10-13T08:16:47.000+01:00
diff --git a/resources/testharness.js b/resources/testharness.js
@@ -3797,7 +3797,7 @@ policies and contribution forms [3].
     function get_title()
     {
         if ('document' in global_scope) {
-            //Don't use document.title to work around an Opera bug in XHTML documents
+            //Don't use document.title to work around an Opera/Presto bug in XHTML documents
             var title = document.getElementsByTagName("title")[0];
             if (title && title.firstChild && title.firstChild.data) {
                 return title.firstChild.data;

Original file line number	Diff line number	Diff line change
`@@ -3797,7 +3797,7 @@ policies and contribution forms [3].`
`3797`	`3797`	`function get_title()`
`3798`	`3798`	`{`
`3799`	`3799`	`if ('document' in global_scope) {`
`3800`		`- //Don't use document.title to work around an Opera bug in XHTML documents`
	`3800`	`+ //Don't use document.title to work around an Opera/Presto bug in XHTML documents`
`3801`	`3801`	`var title = document.getElementsByTagName("title")[0];`
`3802`	`3802`	`if (title && title.firstChild && title.firstChild.data) {`
`3803`	`3803`	`return title.firstChild.data;`