html5shiv.js - third-party code

From https://code.google.com/p/html5shiv/