# 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
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