aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/ur/basis.urs
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2012-04-15 12:40:53 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2012-04-15 12:40:53 -0400
commitf5c735f49ae6a3bac15a39f7367f518d87907219 (patch)
tree81a017f98c36dd1c619d92bc13a8902fc6f45122 /lib/ur/basis.urs
parent73631890937940cfc9e1d71652ccf3df677e0789 (diff)
Remove string-valued style attribute, which may allow injection attacks
Diffstat (limited to 'lib/ur/basis.urs')
-rw-r--r--lib/ur/basis.urs2
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index 60a95db6..2869adce 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -743,7 +743,7 @@ con scrollEvents = [Onscroll = transaction unit]
con boxEvents = focusEvents ++ mouseEvents ++ keyEvents ++ resizeEvents ++ scrollEvents
con tableEvents = focusEvents ++ mouseEvents ++ keyEvents
-con boxAttrs = [Id = id, Title = string, Style = string] ++ boxEvents
+con boxAttrs = [Id = id, Title = string] ++ boxEvents
con tableAttrs = [Id = id, Title = string] ++ tableEvents
val span : bodyTag boxAttrs