- From: Maciej Stachowiak <mjs@apple.com>
- Date: Wed, 10 Nov 2010 09:01:12 -0800
- To: Jonas Sicking <jonas@sicking.cc>
- Cc: HTML WG <public-html@w3.org>
On Nov 10, 2010, at 8:49 AM, Jonas Sicking wrote: > On Wed, Nov 10, 2010 at 3:18 AM, Maciej Stachowiak <mjs@apple.com> wrote: >> >> Corrected URLs: >> >> On Nov 10, 2010, at 2:57 AM, Maciej Stachowiak wrote: >> >>> >>> 'Since Javascript does not support mode specifiers inside the regular expression, there is no simple way of matching a single word case-insensitively besides turning into [Ww][Oo][Rr][Dd]' >>> >>> Per the decision policy, at this time the chairs would like to solicit volunteers to write Change Proposals. >>> >>> http://www.w3.org/html/wg/tracker/issues/133 >> >> http://www.w3.org/html/wg/tracker/issues/137 >> >> >>> http://dev.w3.org/html5/decision-policy/decision-policy.html#escalation >>> >>> If no Change Proposals are written by December 10th, 2010 this issue will be closed without prejudice. >>> >>> Issue status link: >>> http://dev.w3.org/html5/status/issue-status.html#ISSUE-133 >> >> http://dev.w3.org/html5/status/issue-status.html#ISSUE-137 > > The editor was never given a chance to respond to the new information > that was made available in the bug before this was turned into an > issue. > > So given the fact that it's unlikely that the regexp won't be extended > to deal with the use case, Ian, are you still opposed adding some > attribute to allow case insensitive matching? If the editor is willing to address this in a way that satisfies everyone, then we can simply close the issue by amicable resolution. Regards, Maciej
Received on Wednesday, 10 November 2010 17:01:53 UTC