Adding phpc as a default extension for editors and launch

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

diff --git a/net.sourceforge.phpeclipse.launching/plugin.xml b/net.sourceforge.phpeclipse.launching/plugin.xml
index 4a996df..91a3bca 100644 (file)
--- a/net.sourceforge.phpeclipse.launching/plugin.xml
+++ b/net.sourceforge.phpeclipse.launching/plugin.xml
@@ -1,33 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
-<?eclipse version="3.0"?>
-<plugin
-   id="net.sourceforge.phpeclipse.launching"
-   name="%Plugin.name"
-   version="1.1.9"
-   provider-name="phpeclipse.de"
-   class="net.sourceforge.phpdt.internal.launching.PHPLaunchingPlugin">
-
-   <runtime>
-         <library name="launch.jar">
-                <export name="*"/>
-         </library>
-   </runtime>
-   <requires>
-<!--      <import plugin="org.eclipse.core.runtime.compatibility"/> -->
-         <import plugin="org.eclipse.core.runtime"/>
-         <import plugin="org.eclipse.core.resources"/>
-         <import plugin="org.eclipse.ui"/>
-         <import plugin="org.eclipse.debug.core"/>
-         <import plugin="org.eclipse.jface.text"/>
-         <import plugin="org.eclipse.ui.workbench.texteditor"/>
-         <import plugin="net.sourceforge.phpeclipse"/>
-         <import plugin="net.sourceforge.phpeclipse.debug.core"/>
-         <import plugin="org.eclipse.debug.ui"/>
-         <import plugin="net.sourceforge.phpeclipse.ui"/>
-         <import plugin="org.eclipse.ui.ide"/>
-   </requires>
-
-
+<?eclipse version="3.2"?>
+<plugin>
    <extension
                 point="org.eclipse.debug.core.launchConfigurationTypes">
          <launchConfigurationType
@@ -41,6 +14,10 @@
                 </fileExtension>
                 <fileExtension
                           default="true"
+                          extension="phpc">
+                </fileExtension>
+                <fileExtension
+                          default="true"
                           extension="php3">
                 </fileExtension>
                 <fileExtension