remove name clash with JDT editor category

[phpeclipse.git] / archive / net.sourceforge.phpeclipse.html.ui / plugin.xml

diff --git a/archive/net.sourceforge.phpeclipse.html.ui/plugin.xml b/archive/net.sourceforge.phpeclipse.html.ui/plugin.xml
index 3094ac5..2e61787 100644 (file)
--- a/archive/net.sourceforge.phpeclipse.html.ui/plugin.xml
+++ b/archive/net.sourceforge.phpeclipse.html.ui/plugin.xml
@@ -3,7 +3,7 @@
 <plugin
    id="net.sourceforge.phpeclipse.html.ui"
    name="%pluginName"
-   version="1.1.0"
+   version="1.1.6"
    provider-name="%providerName"
    class="net.sourceforge.phpeclipse.html.ui.HTMLUI">
    
@@ -27,7 +27,7 @@
       <import plugin="org.eclipse.core.runtime"/>
    </requires>
 
-
+<!--
    <extension
          point="org.eclipse.ui.editors">
       <editor 
@@ -54,6 +54,6 @@
             id="net.sourceforge.phpeclipse.html.ui.documentProvider">
       </provider>
    </extension>
-
+-->
 
 </plugin>