RSS news reader; initially copied from "all the news"

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

diff --git a/net.sourceforge.phpeclipse/plugin.properties b/net.sourceforge.phpeclipse/plugin.properties
index 5d3c191..7cddd75 100644 (file)
--- a/net.sourceforge.phpeclipse/plugin.properties
+++ b/net.sourceforge.phpeclipse/plugin.properties
@@ -18,6 +18,7 @@ viewPHPResources.name=PHP Resources
 newWizardCategory.name=PHP
 newWizardPHPProject.name=PHP Project
 newWizardPHPFile.name=PHP File
+newWizardHTMLFile.name=HTML file
 NewPHPClass.label= Class
 NewPHPClass.description=Create a PHP class
 
@@ -405,6 +406,11 @@ OccurrenceAnnotation.label= PHP Marker Occurrences
 phpEditorFontDefiniton.label= Java Editor Text Font
 phpEditorFontDefintion.description= The Java editor text font is used by Java editors.
 
+#--- templates
+templates.php.contextType.name= php
+templates.phpdoc.contextType.name= phpdoc
+templates.html.contextType.name= html
+
 #--- folding
 foldingStructureProvidersExtensionPoint= Folding Structure Providers
 defaultFoldingStructureProviderName= Default PHP Folding