| <?xml version="1.0" encoding="UTF-8"?> |
| <?eclipse version="3.0"?> |
| |
| <plugin |
| id="org.eclipse.wst.command.env.ui" |
| name="%PLUGIN_NAME" |
| version="1.0.0" |
| provider-name="%PLUGIN_PROVIDER" |
| class="org.eclipse.wst.command.internal.env.ui.plugin.EnvUIPlugin"> |
| |
| <runtime> |
| <library name="envui.jar"> |
| <export name="*"/> |
| </library> |
| </runtime> |
| |
| <requires> |
| <import plugin="org.eclipse.wst.command.env.core"/> |
| <import plugin="org.eclipse.wst.command.env"/> |
| <import plugin="org.eclipse.core.runtime"/> |
| <import plugin="org.eclipse.core.resources"/> |
| <import plugin="org.eclipse.ui"/> |
| <import plugin="org.eclipse.ui.ide"/> |
| <import plugin="org.eclipse.osgi"/> |
| </requires> |
| |
| <extension-point id="widgetRegistry" name="%WIDGET_REGISTRY_NAME" schema="schema/widgetRegistry.exsd"/> |
| </plugin> |