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

2 comments
Comment actions Permalink

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!"


0

Please sign in to leave a comment.