This shiv implementation is provided by video-js, the video player used. It's not included on the page since Mozilla is already using their own shi[mv]. See https://github.com/zencoder/video-js/blob/master/docs/setup.md#readme