if [ ! -d "webidl2.js" ]; then
git clone https://github.com/w3c/webidl2.js.git fi
cd webidl2.js
npm install
npm run build-debug
HASH=$(git rev-parse HEAD)
cd .. cp webidl2.js/dist/webidl2.js lib/ echo"Currently using webidl2.js@${HASH}." > lib/VERSION.md
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.