misc changes
[phpeclipse.git] / net.sourceforge.phpeclipse / plugin.properties
index 7a8b7b1..5169f87 100644 (file)
@@ -9,3 +9,5 @@ providerName = EclipseProject.de
 #
 phpEditorName=PHP Editor
 phpFileExtension=php
+php3FileExtension=php3
+php4FileExtension=php4