Added externaltools plugin
[phpeclipse.git] / net.sourceforge.phpeclipse.ui / plugin.xml
index fac5e67..fa9157d 100644 (file)
@@ -3,7 +3,7 @@
 <plugin
    id="net.sourceforge.phpeclipse.ui"
    name="%pluginName"
-   version="1.1.0"
+   version="1.1.5"
    provider-name="%providerName"
    class="net.sourceforge.phpeclipse.ui.WebUI">
 
@@ -20,7 +20,7 @@
       <import plugin="org.eclipse.osgi"/>
       <import plugin="org.eclipse.ui"/>
       <import plugin="org.eclipse.ui.editors"/>
-      <import plugin="org.eclipse.ui.ide"/>
+      <import plugin="org.eclipse.ui.ide"/> 
       <import plugin="org.eclipse.ui.views"/>
       <import plugin="org.eclipse.ui.workbench.texteditor"/>
       <import plugin="net.sourceforge.phpeclipse.webbrowser"/>