Added externaltools plugin

[phpeclipse.git] / net.sourceforge.phpeclipse.ui / plugin.xml

diff --git a/net.sourceforge.phpeclipse.ui/plugin.xml b/net.sourceforge.phpeclipse.ui/plugin.xml
index 4cba6c8..fa9157d 100644 (file)
--- a/net.sourceforge.phpeclipse.ui/plugin.xml
+++ b/net.sourceforge.phpeclipse.ui/plugin.xml
@@ -3,7 +3,7 @@
 <plugin
    id="net.sourceforge.phpeclipse.ui"
    name="%pluginName"
-   version="1.1.2"
+   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"/>