RSS news reader; initially copied from "all the news"
[phpeclipse.git] / net.sourceforge.phpeclipse.webbrowser / plugin.xml
index de478d4..5616079 100644 (file)
@@ -8,11 +8,11 @@
   class="net.sourceforge.phpeclipse.webbrowser.internal.WebBrowserUIPlugin">
 
   <requires>
-    <import plugin="org.eclipse.core.resources" version="3.0.0" match="equivalent"/>
-    <import plugin="org.eclipse.core.runtime" version="3.0.0" match="equivalent"/>
-    <import plugin="org.eclipse.ui" version="3.0.0" match="equivalent"/>
-    <import plugin="org.eclipse.ui.ide" version="3.0.0" match="equivalent"/>
-    <import plugin="org.eclipse.ui.editors" version="3.0.0" match="equivalent"/>
+    <import plugin="org.eclipse.core.resources" version="3.0.0" match="greaterOrEqual"/>
+    <import plugin="org.eclipse.core.runtime" version="3.0.0" match="greaterOrEqual"/>
+    <import plugin="org.eclipse.ui" version="3.0.0" match="greaterOrEqual"/>
+    <import plugin="org.eclipse.ui.ide" version="3.0.0" match="greaterOrEqual"/>
+    <import plugin="org.eclipse.ui.editors" version="3.0.0" match="greaterOrEqual"/>
   </requires>
 
   <runtime>
   </extension>
 
   <extension point="org.eclipse.ui.preferencePages">
-    <page
+ <!--   <page
       id="org.eclipse.internet"
       name="%preferenceInternetTitle"
-      class="net.sourceforge.phpeclipse.webbrowser.internal.InternetPreferencePage"/>
+      class="net.sourceforge.phpeclipse.webbrowser.internal.InternetPreferencePage"/> -->
     <page
       id="net.sourceforge.phpeclipse.webbrowser.preferencePage"
       name="%preferenceWebBrowserTitle"
-      category="org.eclipse.internet"
+      category="net.sourceforge.phpeclipse.preference.PHPEclipsePreferencePage"
       class="net.sourceforge.phpeclipse.webbrowser.internal.WebBrowserPreferencePage"/>
   </extension>