1 PHPHelpPreferencePage.PHPHelpSettings=PHP Help Einstellungen (nur WIN_32)
2 PHPHelpPreferencePage.PHPHelp.format=Zeige Hilfe im *.chm Format?
3 PHPHelpPreferencePage.PHPHelp.chm.file=PHP *.chm Datei:
4 PHPHelpPreferencePage.PHPHelp.command=PHP Hilfe Kommando: