1) Not really necessary changes (made minor code changes when looking for the 'stackf...
[phpeclipse.git] / net.sourceforge.phpeclipse.xml.ui / plugin.properties
index a9f2361..30fdf15 100644 (file)
@@ -8,7 +8,7 @@
 # Contributors:
 #     Christopher Lenz - initial english resources
 # 
-# $Id: plugin.properties,v 1.2 2004-09-04 08:59:28 jsurfer Exp $
+# $Id: plugin.properties,v 1.3 2005-07-10 15:16:13 axelcl Exp $
 #
 
 pluginName = PHPeclipse Web Development Tools XML UI
@@ -17,7 +17,7 @@ providerName= WDTE Project/PHPeclipse.de
 xmlEditorName = XML Editor
 dtdEditorName = DTD Editor
 
-xmlEditorPreferencePageName = HTML/XML Editor
+xmlEditorPreferencePageName = HTML in PHP Editor
 
 templates.xml.contextType.name = XML Context
 templates.html.contextType.name = HTML Context
\ No newline at end of file