--- 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"