update dtd

This commit is contained in:
Eduard Heimbuch
2019-08-12 13:18:30 +02:00
parent c58788e1e5
commit 900e52ad0e

View File

@@ -29,47 +29,23 @@
<!ELEMENT scm-version (#PCDATA)>
<!--- contains informations of the plugin for the plugin backend -->
<!ELEMENT information (author|artifactId|category|tags|description|groupId|name|screenshots|url|version|wiki)*>
<!ELEMENT information (author|category|description|name|version)*>
<!--- plugin author -->
<!ELEMENT author (#PCDATA)>
<!--- maven artifact id -->
<!ELEMENT artifactId (#PCDATA)>
<!--- category of the plugin -->
<!ELEMENT category (#PCDATA)>
<!--- tags of the plugin -->
<!ELEMENT tags (tag)*>
<!--- single tag -->
<!ELEMENT tag (#PCDATA)>
<!--- description of the plugin -->
<!ELEMENT description (#PCDATA)>
<!--- maven groupId id -->
<!ELEMENT groupId (#PCDATA)>
<!--- name of the plugin or the name of the os condition -->
<!ELEMENT name (#PCDATA)>
<!--- contains screenshots of the plugin -->
<!ELEMENT screenshots (screenshot)*>
<!--- single screenshot of the plugin -->
<!ELEMENT screenshot (#PCDATA)>
<!--- the url of the plugin homepage -->
<!ELEMENT url (#PCDATA)>
<!--- the current version of the plugin -->
<!ELEMENT version (#PCDATA)>
<!--- the url of a wiki page -->
<!ELEMENT wiki (#PCDATA)>
<!--- true if the plugin should load child classes first, the default is false -->
<!ELEMENT child-first-classloader (#PCDATA)>
@@ -121,4 +97,4 @@
<!ELEMENT event (#PCDATA)>
<!--- extension point -->
<!ELEMENT extension-point (class|description)*>
<!ELEMENT extension-point (class|description)*>