#
 #########################################
 pluginName=PHPEclipse Tools Core
-providerName=phpeclipse.de
+providerName=www.phpeclipse.de
 naturePHP.name=PHP Project
 elementFiltersName=PHPElement Filters
 phpProblemName=PHP Problem
 templatePageName= Templates
 spellingPrefName= Spelling
 codeAssistPageName= Code Assist
+editorMarkOccurrencesPage= Mark Occurrences
 
 #
 # Extension point names
 
 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