<?eclipse version="3.0"?>
<plugin
id="net.sourceforge.phpeclipse.html.ui"
- name="PHPeclipse Web Development Tools HTML UI"
- version="1.1.0"
- provider-name="WDTE Project/PHPeclipse.de"
+ name="%pluginName"
+ version="1.1.2"
+ provider-name="%providerName"
class="net.sourceforge.phpeclipse.html.ui.HTMLUI">
<runtime>
<import plugin="org.eclipse.core.runtime"/>
</requires>
-
+<!--
<extension
point="org.eclipse.ui.editors">
<editor
id="net.sourceforge.phpeclipse.html.ui.documentProvider">
</provider>
</extension>
-
+-->
</plugin>