--- net.sourceforge.phpeclipse.phphelp/plugin.xml 2007-09-08 19:41:55.000000000 +0100 +++ net.sourceforge.phpeclipse.phphelp/plugin.xml 2008-06-14 18:32:13.000000000 +0100 @@ -65,12 +65,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"