XWIKI-10615: Upgrade to HTML5Shiv 3.7.2.