diff options
author | Alexander Abushkevich <alex@abushkevi.ch> | 2016-03-10 15:13:48 +1300 |
---|---|---|
committer | Alexander Abushkevich <alex@abushkevi.ch> | 2016-03-10 15:13:48 +1300 |
commit | ede4570a3048c2dc6d8c9cd2253405bb41922d69 (patch) | |
tree | 1876f1567cc9a6c11a3e8c18dd7f46eced32a559 /lib/ur | |
parent | 1e7a95459bc0fa25781e7d343db85f356f0eee9a (diff) |
Resource integrity attributes for HTML link element. http://www.w3.org/TR/2015/CR-SRI-20151112/
Diffstat (limited to 'lib/ur')
-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 |