darobin/webidl2.js — pull request #4 by Manishearth (2014-04-14 20:43:51+00:00)
Title: Use https:// instead of git://

git:// uses ports which are usually not available behind many firewalls (especially in universities). This patch makes the submodule use https://, which works over most networks.