mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
WEB-35033 "Unknown HTML tag attribute" inspection: allow "alt" attribute for the "applet" tag
This commit is contained in:
@@ -142,6 +142,7 @@ datatypes w = "http://whattf.org/datatype-draft"
|
||||
element applet { applet.inner.phrasing & applet.attrs }
|
||||
applet.attrs =
|
||||
( common.attrs
|
||||
& applet.attrs.alt?
|
||||
& applet.attrs.archive?
|
||||
& applet.attrs.code
|
||||
& applet.attrs.codebase?
|
||||
@@ -149,6 +150,10 @@ datatypes w = "http://whattf.org/datatype-draft"
|
||||
& applet.attrs.height
|
||||
& applet.attrs.width
|
||||
)
|
||||
applet.attrs.alt =
|
||||
attribute alt {
|
||||
string
|
||||
}
|
||||
applet.attrs.archive =
|
||||
attribute archive {
|
||||
common.data.uri #FIXME *comma* separated URI list (*grumble*)
|
||||
|
||||
Reference in New Issue
Block a user