更改dtd

This commit is contained in:
everywhere.z
2023-01-13 18:32:11 +08:00
parent a450ea6e36
commit 0b7450e504

View File

@@ -7,6 +7,7 @@
<!ATTLIST node
id CDATA #REQUIRED
name CDATA #IMPLIED
type (script|if_script|switch_script|while_script|for_script|break_script) #IMPLIED
class CDATA #IMPLIED
file CDATA #IMPLIED