- modified build.properties file

[phpeclipse.git] / net.sourceforge.phpeclipse / plugin.properties

diff --git a/net.sourceforge.phpeclipse/plugin.properties b/net.sourceforge.phpeclipse/plugin.properties
index 3673587..e03c089 100644 (file)
--- a/net.sourceforge.phpeclipse/plugin.properties
+++ b/net.sourceforge.phpeclipse/plugin.properties
@@ -49,6 +49,9 @@ htmFileExtension=htm
 xmlFileExtension=xml
 tplFileExtension=tpl
 
+javaDocumentFactory=PHP Document Factory
+javaDocumentSetupParticipant=PHP Document Setup Participant
+
 sourceHover= Source
 sourceHoverDescription= Shows the source of the selected element.
 javadocHover= PHPdoc
@@ -369,6 +372,10 @@ Program.externalTools = PHP Program
 
 OccurrenceAnnotation.label= PHP Marker Occurrences
 
-
 phpEditorFontDefiniton.label= Java Editor Text Font
 phpEditorFontDefintion.description= The Java editor text font is used by Java editors.
+
+#--- folding
+foldingStructureProvidersExtensionPoint= Folding Structure Providers
+defaultFoldingStructureProviderName= Default PHP Folding
+Folding.label= F&olding
\ No newline at end of file