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 277ae4f..2e61787 100644 (file)
--- a/archive/net.sourceforge.phpeclipse.html.ui/plugin.xml
+++ b/archive/net.sourceforge.phpeclipse.html.ui/plugin.xml
@@ -2,9 +2,9 @@
 <?eclipse version="3.0"?>
 <plugin
    id="net.sourceforge.phpeclipse.html.ui"
-   name="Web Development Tools HTML UI"
-   version="0.0.1"
-   provider-name="WDTE Project"
+   name="%pluginName"
+   version="1.1.6"
+   provider-name="%providerName"
    class="net.sourceforge.phpeclipse.html.ui.HTMLUI">
    
    <runtime>
@@ -27,13 +27,14 @@
       <import plugin="org.eclipse.core.runtime"/>
    </requires>
 
-
+<!--
    <extension
          point="org.eclipse.ui.editors">
       <editor 
             name="HTML Editor"
             icon="icons/full/obj16/html.png"
             extensions="html, htm, xhtml"
+            contributorClass="net.sourceforge.phpeclipse.html.ui.internal.editor.HTMLEditorActionContributor"
             class="net.sourceforge.phpeclipse.html.ui.internal.editor.HTMLEditor"
             id="net.sourceforge.phpeclipse.html.ui.editor">
       </editor>
@@ -53,6 +54,6 @@
             id="net.sourceforge.phpeclipse.html.ui.documentProvider">
       </provider>
    </extension>
-
+-->
 
 </plugin>