Update html5.idl