GitHub: Make review comment headers accessible as headings.

jcsteh · jcsteh · commit 087eaa415a82 · 2017-01-20T11:32:27.000+10:00
diff --git a/GitHubA11yFixes.user.js b/GitHubA11yFixes.user.js
@@ -95,6 +95,9 @@ function onNodeAdded(target) {
 		// Make sure diff tables never get treated as a layout table.
 		for (elem of target.querySelectorAll(".diff-table"))
 			elem.setAttribute("role", "table");
+		// Review comment headers.
+		for (elem of target.querySelectorAll(".review-comment-contents > strong"))
+			makeHeading(elem, 3);
 	}
 
 	// Site-wide stuff.

Original file line number	Diff line number	Diff line change
`@@ -95,6 +95,9 @@ function onNodeAdded(target) {`
`95`	`95`	`// Make sure diff tables never get treated as a layout table.`
`96`	`96`	`for (elem of target.querySelectorAll(".diff-table"))`
`97`	`97`	`elem.setAttribute("role", "table");`
	`98`	`+ // Review comment headers.`
	`99`	`+ for (elem of target.querySelectorAll(".review-comment-contents > strong"))`
	`100`	`+ makeHeading(elem, 3);`
`98`	`101`	`}`
`99`	`102`
`100`	`103`	`// Site-wide stuff.`