<plugin
id="net.sourceforge.phpeclipse.html.ui"
name="%pluginName"
- version="1.1.0"
+ version="1.1.5"
provider-name="%providerName"
class="net.sourceforge.phpeclipse.html.ui.HTMLUI">
<import plugin="org.eclipse.core.runtime"/>
</requires>
-
+<!--
<extension
point="org.eclipse.ui.editors">
<editor
id="net.sourceforge.phpeclipse.html.ui.documentProvider">
</provider>
</extension>
-
+-->
</plugin>