Add HTML5 shim.