archive/net.sourceforge.phpeclipse.news/plugin.xml

   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <?eclipse version="3.0"?>
   3 <plugin
   4    id="net.sourceforge.phpeclipse.news"
   5    name="PHPeclipse RSS News"
   6    version="1.1.5"
   7    provider-name="phpeclipse.de"
   8    class="net.sourceforge.phpeclipse.news.Plugin">
   9
  10    <runtime>
  11       <library name="rssnews.jar">
  12         <export name="*" />
  13       </library>
  14       <library name="lib/xmlrpc-1.2-b1.jar"/>
  15    </runtime>
  16    <requires>
  17       <import plugin="org.eclipse.core.runtime.compatibility"/>
  18       <import plugin="org.eclipse.ui"/>
  19       <import plugin="net.sourceforge.phpeclipse.webbrowser"/>
  20    </requires>
  21
  22
  23    <extension
  24          point="org.eclipse.ui.views">
  25       <category
  26             name="PHPeclipse RSS News"
  27             id="net.sourceforge.phpeclipse.news.viewcategory">
  28       </category>
  29       <view
  30             name="News Explorer"
  31             icon="icons\news.gif"
  32             category="net.sourceforge.phpeclipse.news.viewcategory"
  33             class="net.sourceforge.phpeclipse.news.view.ExplorerView"
  34             id="net.sourceforge.phpeclipse.news.view.explorer">
  35       </view>
  36       <view
  37             name="Headlines"
  38             icon="icons\headlines.png"
  39             category="net.sourceforge.phpeclipse.news.viewcategory"
  40             class="net.sourceforge.phpeclipse.news.view.HeadlineView"
  41             id="net.sourceforge.phpeclipse.news.view.headline">
  42       </view>
  43    </extension>
  44    <extension
  45          point="org.eclipse.ui.perspectives">
  46       <perspective
  47             name="PHPeclipse RSS News"
  48             icon="icons\news.gif"
  49             class="net.sourceforge.phpeclipse.news.Perspective"
  50             id="net.sourceforge.phpeclipse.news.perspective">
  51       </perspective>
  52    </extension>
  53    <extension
  54          point="org.eclipse.ui.preferencePages">
  55       <page
  56             name="PHPeclipse RSS News"
  57             category="net.sourceforge.phpeclipse.preference.PHPEclipsePreferencePage"
  58             class="net.sourceforge.phpeclipse.news.pref.PreferencePage"
  59             id="net.sourceforge.phpeclipse.news.preference">
  60       </page>
  61    </extension>
  62
  63 </plugin>