Fix URL encoding of % sign in Rust Doc.

TumoiYorozu · Mark-Simulacrum · commit 613630d02f4a · 2023-06-24T10:18:17.000-04:00
diff --git a/src/librustdoc/html/render/mod.rs b/src/librustdoc/html/render/mod.rs
@@ -1933,8 +1933,6 @@ pub(crate) fn small_url_encode(s: String) -> String {
             // While the same is not true for hashes, rustdoc only needs to be
             // consistent with itself when encoding them.
             st += "+";
-        } else if b == b'%' {
-            st += "%%";
         } else {
             write!(st, "%{:02X}", b).unwrap();
         }

Original file line number	Diff line number	Diff line change
`@@ -1933,8 +1933,6 @@ pub(crate) fn small_url_encode(s: String) -> String {`
`1933`	`1933`	`// While the same is not true for hashes, rustdoc only needs to be`
`1934`	`1934`	`// consistent with itself when encoding them.`
`1935`	`1935`	`st += "+";`
`1936`		`- } else if b == b'%' {`
`1937`		`- st += "%%";`
`1938`	`1936`	`} else {`
`1939`	`1937`	`write!(st, "%{:02X}", b).unwrap();`
`1940`	`1938`	`}`