diff options
| author |  Adam Chlipala <adamc@csail.mit.edu> | 2016-03-18 13:49:14 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@csail.mit.edu> | 2016-03-18 13:49:14 -0400 |
| commit | 1a9520d6e00c63baca356d7e6aa2acc7424148bb (patch) | |
| tree | a3c9e9ebaf86460ff76ef60c905fc0777fab0194 | |
| parent | eb715ea49f6d74f5ac7b7f2967f4a86c4db0a75f (diff) | |
| parent | ede4570a3048c2dc6d8c9cd2253405bb41922d69 (diff) | |
Merge pull request #19 from AlexanderAA/master
Resource integrity attributes for HTML link element
| -rw-r--r-- | lib/ur/basis.urs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs index a4872c32..d98134ff 100644 --- a/lib/ur/basis.urs +++ b/lib/ur/basis.urs @@ -813,7 +813,7 @@ val data_attrs : data_attr -> data_attr -> data_attr val head : unit -> tag [Data = data_attr] html head [] [] val title : unit -> tag [Data = data_attr] head [] [] [] -val link : unit -> tag [Data = data_attr, Id = id, Rel = string, Typ = string, Href = url, Media = string] head [] [] [] +val link : unit -> tag [Data = data_attr, Id = id, Rel = string, Typ = string, Href = url, Media = string, Integrity = string, Crossorigin = string] head [] [] [] datatype mouseButton = Left | Right | Middle |