darobin/webidl2.js — pull request #6 by tobie (2014-05-05 21:50:30+00:00)
Title: Fix bug where instrumented version of webidl2 was loaded.

Despite JSCOV not being defined.