plugin.dtd out of date?
Hi
The plugin.xml files that that ship with the IDEA plugins contain the resource-bundle tag:
<resource-bundle xmlns="">org.jetbrains.idea.devkit.DevKitBundle</resource-bundle>
I cannot find this element in DTD, though. Should I file a JIRA for this or am I overseeing something here?
--Etienne
Please sign in to leave a comment.
Hello etienne,
e> The plugin.xml files that that ship with the IDEA plugins contain the
e> resource-bundle tag:
e>
e> <resource-bundle
e> xmlns="">org.jetbrains.idea.devkit.DevKitBundle</resource-bundle>
e>
e> I cannot find this element in DTD, though. Should I file a JIRA for
e> this or am I overseeing something here?
Yes, please file the request to update the DTD.
--
Dmitry Jemerov
Software Developer
JetBrains, Inc.
http://www.jetbrains.com
"Develop with pleasure!"
Okay. Done.
http://www.jetbrains.net/jira/browse/IDEA-6598
--Etienne