- From: Dominique Hazael-Massieux <dom@w3.org>
- Date: Wed, 29 May 2013 09:45:01 +0200
- To: Simon Pieters <simonp@opera.com>
- Cc: "www-archive@w3.org" <www-archive@w3.org>
Hi Simon, Le lundi 27 mai 2013 à 16:47 +0200, Simon Pieters a écrit : > I sent the email below to sysreq@w3.org but got no response. It was forwarded to me, but I haven't had the time to look into it yet; it's definitely in my todo list though :) Thanks, Dom > On Wed, 22 May 2013 00:36:42 +0200, Simon Pieters <simonp@opera.com> wrote: > > > Hi, > > > > http://www.w3.org/2009/07/webidl-check is capable of finding WebIDL in > > HTML when using a URL as input, but not when using the textarea as > > input. This means that I can't use this tool from the command line with > > a local HTML file. > > > > Could the tool be extended to support WebIDL in HTML with the textarea, > > please? > > > > cheers > >
Received on Wednesday, 29 May 2013 07:45:22 UTC