X-Git-Url: http://git.phpeclipse.com diff --git a/net.sourceforge.phpeclipse/plugin.properties b/net.sourceforge.phpeclipse/plugin.properties index 3673587..e03c089 100644 --- 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