removed ColorManager, not used anywhere

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

diff --git a/archive/net.sourceforge.phpeclipse.monitor.ui/plugin.xml b/archive/net.sourceforge.phpeclipse.monitor.ui/plugin.xml
index da8d607..8962e3a 100644 (file)
--- a/archive/net.sourceforge.phpeclipse.monitor.ui/plugin.xml
+++ b/archive/net.sourceforge.phpeclipse.monitor.ui/plugin.xml
@@ -3,7 +3,7 @@
 
 <plugin id="net.sourceforge.phpeclipse.monitor.ui"
   name="%pluginName"
-  version="3.0.0"
+  version="1.1.6"
   provider-name="%providerName"
   class="net.sourceforge.phpdt.monitor.ui.internal.MonitorUIPlugin">
 
@@ -13,7 +13,7 @@
   <import plugin="org.eclipse.ui.ide" version="3.0.0" match="equivalent"/>
   <import plugin="org.eclipse.ui.views" version="3.0.0" match="equivalent"/>
   <import plugin="org.eclipse.ui" version="3.0.0" match="equivalent"/>
-  <import plugin="net.sourceforge.phpeclipse.monitor.core" version="3.0.0" match="equivalent"/>
+  <import plugin="net.sourceforge.phpeclipse.monitor.core"/>
 </requires>
 
 <runtime>
@@ -46,7 +46,7 @@
   <page
     id="net.sourceforge.phpeclipse.monitor.core.preferencePage"
     name="%preferenceTitle"
-    category="net.sourceforge.phpeclipse.preference.PHPEclipsePreferencePage"
+    category="net.sourceforge.phpeclipse.ui.preferencePage"
     class="net.sourceforge.phpdt.monitor.ui.internal.MonitorPreferencePage"/>
 </extension>