Added is_int function

[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 68a2be0..df1a504 100644 (file)
--- a/net.sourceforge.phpeclipse.ui/plugin.xml
+++ b/net.sourceforge.phpeclipse.ui/plugin.xml
@@ -3,12 +3,12 @@
 <plugin
    id="net.sourceforge.phpeclipse.ui"
    name="%pluginName"
-   version="0.0.1"
+   version="1.1.7"
    provider-name="%providerName"
    class="net.sourceforge.phpeclipse.ui.WebUI">
 
    <runtime>
-      <library name="wdtui.jar">
+      <library name="ui.jar">
          <export name="*"/>
       </library>
    </runtime>
@@ -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"/>