--- plugin.xml.orig	2007-03-11 21:37:00.000000000 +0100
+++ plugin.xml	2007-03-11 21:37:38.000000000 +0100
@@ -88,12 +88,6 @@
    <extension
          point="org.eclipse.ui.preferencePages">
       <page
-            name="%phphelpFormat"
-            category="net.sourceforge.phpeclipse.preferences.PHPPreferencePage"
-            class="net.sourceforge.phpdt.phphelp.PHPHelpPreferencePage"
-            id="net.sourceforge.phpdt.phphelp.PHPHelpPreferencePage">
-      </page>
-      <page
            name="%httpQuery"
            category="net.sourceforge.phpeclipse.preferences.PHPPreferencePage"
            class="net.sourceforge.phpdt.httpquery.preferences.ConfigurationPreferencePage"