verify-code-snippets.pl: decode &#160; to space

ctrueden · ctrueden · commit 23d4a814b163 · 2013-02-14T11:30:05.000-06:00
This is an extension of the &amp;nbsp; hack. For some reason, MediaWiki
encodes some spaces as &amp;#160;, which must be decoded back to spaces.
diff --git a/verify-code-snippets.pl b/verify-code-snippets.pl
@@ -44,8 +44,9 @@ ($)
 
 	# decode encoded HTML characters (e.g., '&amp;' -> '&')
 	for (my $pageIndex = 0; $pageIndex < @page; $pageIndex++) {
-		# HACK: decode '&nbsp;' -> ' ' (not 0xa0)
+		# HACK: decode '&nbsp;' and '&#160;' to ' ' (not 0xa0 or similar)
 		$page[$pageIndex] =~ s/&nbsp;/ /g;
+		$page[$pageIndex] =~ s/&#160;/ /g;
 
 		$page[$pageIndex] = decode_entities($page[$pageIndex]);
 	}

Original file line number	Diff line number	Diff line change
`@@ -44,8 +44,9 @@ ($)`
`44`	`44`
`45`	`45`	`# decode encoded HTML characters (e.g., '&' -> '&')`
`46`	`46`	`for (my $pageIndex = 0; $pageIndex < @page; $pageIndex++) {`
`47`		`- # HACK: decode ' ' -> ' ' (not 0xa0)`
	`47`	`+ # HACK: decode ' ' and ' ' to ' ' (not 0xa0 or similar)`
`48`	`48`	`$page[$pageIndex] =~ s/ / /g;`
	`49`	`+ $page[$pageIndex] =~ s/ / /g;`
`49`	`50`
`50`	`51`	`$page[$pageIndex] = decode_entities($page[$pageIndex]);`
`51`	`52`	`}`