plugin.dtd and fileEditorProvider element

Hello Frederick,

The ]]> is an extension registration. Extensions are defined
dynamically and can be placed in different namespaces, so validating extensions
through the DTD is impossible.

I was looking at the HtmlBrowser plugin and in its plugin.xml there is
this fragment of XML which does not validate against the plugin.dtd.
I looked at the DTD and the <fileEditorProvider> element is not a
valid element. Is the DTD wrong? What does the presence of this
element accomplish? Thank you.

Fred

<extensions defaultExtensionNs="com.intellij">
<fileEditorProvider
implementation="org.jetbrains.idea.browser.ui.BrowserFileEditorProvide
r"/>
<errorHandler
implementation="com.intellij.diagnostic.ITNReporter"/>
</extensions>

--
Dmitry Jemerov
Software Developer
JetBrains, Inc.
http://www.jetbrains.com/
"Develop with Pleasure!"