Thu, 15 Jan 2015 15:59:08 +0100
Implement a real Private Browsing Mode condition by changing the API/ABI;
This solves Tor bug #9701, complying with disk avoidance documented in
https://www.torproject.org/projects/torbrowser/design/#disk-avoidance.
1 <html xmlns="http://www.w3.org/1999/xhtml">
2 <head>
3 <title>Check whether whitespaces are ignored in the "separators" attribute of the mfenced tag</title>
4 </head>
5 <body>
6 <math xmlns="http://www.w3.org/1998/Math/MathML">
7 <!-- Note: each blank is a whitespace sequence "U+0020 U+0009 U+000a U+000d" and must not be modified! -->
8 <mfenced separators="
10 ;
12 ">
13 <mi>a</mi>
14 <mi>b</mi>
15 <mi>c</mi>
16 <mi>d</mi>
17 </mfenced>
18 <!-- Note: each blank is a whitespace sequence "U+0020 U+0009 U+000a U+000d" and must not be modified! -->
19 <mfenced separators="
21 ,
23 ;
25 .">
26 <mi>a</mi>
27 <mi>b</mi>
28 <mi>c</mi>
29 <mi>d</mi>
30 </mfenced>
31 </math>
32 </body>
33 </html>