From 779b5a8c3ca649b84f21d3c347edd982d60551dd Mon Sep 17 00:00:00 2001 From: Stephane Legrand Date: Sun, 3 Sep 2023 13:27:18 +0200 Subject: [PATCH] Add download attribute to anchor element --- lib/js_of_ocaml/dom_html.ml | 2 ++ lib/js_of_ocaml/dom_html.mli | 2 ++ 2 files changed, 4 insertions(+) diff --git a/lib/js_of_ocaml/dom_html.ml b/lib/js_of_ocaml/dom_html.ml index ba89cbf405..887aa289d8 100644 --- a/lib/js_of_ocaml/dom_html.ml +++ b/lib/js_of_ocaml/dom_html.ml @@ -1324,6 +1324,8 @@ class type anchorElement = object method coords : js_string t prop + method download : js_string t prop + method href : js_string t prop method hreflang : js_string t prop diff --git a/lib/js_of_ocaml/dom_html.mli b/lib/js_of_ocaml/dom_html.mli index 68f646d24f..2451e4244c 100644 --- a/lib/js_of_ocaml/dom_html.mli +++ b/lib/js_of_ocaml/dom_html.mli @@ -1149,6 +1149,8 @@ class type anchorElement = object method coords : js_string t prop + method download : js_string t prop + method href : js_string t prop method hreflang : js_string t prop