This is the source code for the W3C on-line WebIDL checker, a tool verify the correctness of WebIDL fragments embedded in HTML documents.