remove name clash with JDT editor category
[phpeclipse.git] / net.sourceforge.phpeclipse / plugin.properties
index 9f44838..820fa77 100644 (file)
@@ -2,7 +2,7 @@
 #
 #########################################
 pluginName=PHPEclipse Tools Core
-providerName=phpeclipse.de
+providerName=www.phpeclipse.de
 naturePHP.name=PHP Project
 elementFiltersName=PHPElement Filters
 phpProblemName=PHP Problem
@@ -13,7 +13,7 @@ phpSourceName=PHP Source File
 viewCategoryName = PHPeclipse Web Development
 phpEditorTextHoversName=PHP Editor Text Hovers
 
-perspectivePHP.name=PHP Web Development
+perspectivePHP.name=PHP
 perspectiveHTML.name=HTML
 viewPHPResources.name=PHP Resources
 
@@ -40,6 +40,7 @@ todoTaskPrefName= Task Tags
 templatePageName= Templates
 spellingPrefName= Spelling
 codeAssistPageName= Code Assist
+editorMarkOccurrencesPage= Mark Occurrences
 
 #
 # Extension point names
@@ -161,7 +162,7 @@ problemHoverDescription= Shows the description of the selected problem.
 # Action Definitions
 ##########################################################################
 
-category.source.name=Source
+category.source.name=PHP Source
 category.source.description= PHP Source Actions
 
 context.editingPHPSource.name= Editing PHP Source
@@ -374,7 +375,7 @@ OccurrenceAnnotation.label= PHP Marker Occurrences
 
 phpEditorFontDefiniton.label= PHP Editor Text Font
 phpEditorFontDefintion.description= The PHP editor text font is used by PHP editors.
-#--- filter 
+#--- filter
 HideImportDeclaration.label= Import declarations
 HideImportDeclaration.description= Hides all import declarations