[dontcallmedom/webidl-checker] WebIDL checker, HTML support for 'direct input' (#19) from Dominique Hazael-Massieux on 2018-06-14 (public-webapps-github@w3.org from June 2018)

From: Dominique Hazael-Massieux <notifications@github.com>
Date: Thu, 14 Jun 2018 08:48:08 -0700
To: dontcallmedom/webidl-checker <webidl-checker@noreply.github.com>
Cc: Subscribed <subscribed@noreply.github.com>
Message-ID: <dontcallmedom/webidl-checker/issues/19@github.com>

> 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?

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/dontcallmedom/webidl-checker/issues/19

Received on Thursday, 14 June 2018 15:48:36 UTC