- From: <bugzilla@jessica.w3.org>
- Date: Tue, 25 Oct 2011 11:52:51 +0000
- To: public-html-bugzilla@w3.org
http://www.w3.org/Bugs/Public/show_bug.cgi?id=14552 --- Comment #3 from Philip Jägenstedt <philipj@opera.com> 2011-10-25 11:52:51 UTC --- I want to mention another idea we had for the escaping problem. Rather than escaping < as < and then by necessity having &, < could be escaped as <<. <> is already treated as a bogus empty tag, so we could make that official and escape // as /<>/ and /* as /<>*. Admittedly weird, but perhaps worth considering. -- Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are the QA contact for the bug.
Received on Tuesday, 25 October 2011 11:52:53 UTC