I'm thoroughly confused by this exchange:
If there is no longer a DTD, how does one know what elements are valid in a plugin.xml file?
I don't understand the reference to "DevKit." I have (today) checked out the current community snapshot here:
I have found the "devKit" module here:
Most, if not all, of the classes in the org.jetbrains.idea.devkit.dom package all make reference (at least in the comments) to the plugin.dtd file.
But there is NO plugin.dtd file at all in any directory of this devKit module.
There *is* however plugin.dtd in a different location:
This DTD also does **not** contain "use-shortcut-of" as an attributre of <action>.
So, if this also is not a valid plugin.dtd, and there is NO plugin.dtd in "devKit", WHERE do I learn what elements and attributes are valild for a plugin.xml file?