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