MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

WEB-35033 "Unknown HTML tag attribute" inspection: allow "alt" attribute for the "applet" tag

Browse Source
This commit is contained in:
Artem Gainanov
2018-09-28 18:11:28 +07:00
parent d91bae2fb6
commit e182fce12a
1 changed files with 26 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
xml/relaxng/src/resources/patches/0007_legacy.patch
+26
View File
@@ -0,0 +1,26 @@
Index: xml/relaxng/src/resources/html5-schema/html5/legacy.rnc
IDEA additional info:
Subsystem: com.intellij.openapi.diff.impl.patch.CharsetEP
<+>UTF-8
===================================================================
--- html5/legacy.rnc (revision d1fb137d55cd5a5f1b9d6228d3bd49669e148540)
+++ html5/legacy.rnc (revision aebff73f628a2e4a9321b0530831e1e36b280397)
@@ -142,6 +142,7 @@
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 @@
& 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*)