added old hover behaviour;
[phpeclipse.git] / net.sourceforge.phpeclipse / plugin.xml
index 1dce0ed..fae4bbd 100644 (file)
    </extension>
    <extension
          point="org.eclipse.ui.views">
+      <category
+            name="%viewCategoryName"
+            id="net.sourceforge.phpeclipse.views.category">
+      </category>
       <view
             name="%phpConsoleView"
             icon="icons/obj16/php.gif"