new build.xml

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

diff --git a/net.sourceforge.phpeclipse/plugin.properties b/net.sourceforge.phpeclipse/plugin.properties
index 3e89981..e03c089 100644 (file)
--- a/net.sourceforge.phpeclipse/plugin.properties
+++ b/net.sourceforge.phpeclipse/plugin.properties
@@ -26,8 +26,10 @@ ExportWizards.ObfuscatorDescription = Obfuscate PHP resources to the local file
 
 propertyPagePHPProject.name=PHP Project Properties
 
+compilerPageName=PHP Parser
 todoPageName=PHP Task Tags
 
+compilerOptionsPrefName=PHP Parser
 todoTaskPrefName=Task Tags
 templatePageName=Templates
 
@@ -47,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
@@ -367,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