diff options
Diffstat (limited to 'eclipse-phpeclipse-rm-win32-help.patch')
| -rw-r--r-- | eclipse-phpeclipse-rm-win32-help.patch | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/eclipse-phpeclipse-rm-win32-help.patch b/eclipse-phpeclipse-rm-win32-help.patch new file mode 100644 index 0000000..ae0c93b --- /dev/null +++ b/eclipse-phpeclipse-rm-win32-help.patch @@ -0,0 +1,17 @@ +Index: ./plugins/net.sourceforge.phpeclipse.phphelp/plugin.xml +=================================================================== +--- ./plugins/net.sourceforge.phpeclipse.phphelp/plugin.xml (revision 1625) ++++ ./plugins/net.sourceforge.phpeclipse.phphelp/plugin.xml (working copy) +@@ -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" |