PHP highlighting colors could now be managed by the new PreferencePage

[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpdt / internal / ui / PHPUIMessages.properties

diff --git a/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/ui/PHPUIMessages.properties b/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/ui/PHPUIMessages.properties
index 7167fc6..71fee91 100644 (file)
--- a/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/ui/PHPUIMessages.properties
+++ b/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/ui/PHPUIMessages.properties
@@ -243,6 +243,10 @@ PHPEditorPreferencePage.font=Text Font:
 PHPEditorPreferencePage.multiLineComment=Multi-line comment
 PHPEditorPreferencePage.singleLineComment=Single-line comment
 PHPEditorPreferencePage.keywords=Keywords
+PHPEditorPreferencePage.functionNames=Predefined function names
+PHPEditorPreferencePage.variables=Variables
+PHPEditorPreferencePage.constants=Constants
+PHPEditorPreferencePage.types=Types
 PHPEditorPreferencePage.strings=Strings
 PHPEditorPreferencePage.others=Others
 PHPEditorPreferencePage.phpDocKeywords=PHPDoc keywords