Refresh Wiki Editor Texct from MySQL via JDBC interface

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

diff --git a/net.sourceforge.phpeclipse/plugin.properties b/net.sourceforge.phpeclipse/plugin.properties
index 7cddd75..83a4ccf 100644 (file)
--- a/net.sourceforge.phpeclipse/plugin.properties
+++ b/net.sourceforge.phpeclipse/plugin.properties
@@ -4,6 +4,7 @@
 pluginName=PHPEclipse Tools Core
 providerName=phpeclipse.de
 naturePHP.name=PHP Project
+elementFiltersName=PHPElement Filters
 phpProblemName=PHP Problem
 transientPHPProblemName=Transient PHP Problem
 phpTaskName=PHP Task
@@ -405,6 +406,9 @@ OccurrenceAnnotation.label= PHP Marker Occurrences
 
 phpEditorFontDefiniton.label= Java Editor Text Font
 phpEditorFontDefintion.description= The Java editor text font is used by Java editors.
+#--- filter 
+HideImportDeclaration.label= Import declarations
+HideImportDeclaration.description= Hides all import declarations
 
 #--- templates
 templates.php.contextType.name= php