added file extension php5
[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpeclipse / phpeditor / PHPParserAction.java
index 38534c7..ee74a43 100644 (file)
@@ -39,7 +39,7 @@ import org.eclipse.ui.texteditor.TextEditorAction;
 public class PHPParserAction extends TextEditorAction {
 
   private static PHPParserAction instance = new PHPParserAction();
-  private static String[] EXTENSIONS = { ".php", ".php3", ".php4", ".inc", ".phtml" };
+  private static String[] EXTENSIONS = { ".php", ".php3", ".php4", ".php5", ".inc", ".phtml" };
 
   protected IFile fileToParse;
   protected List fVariables = new ArrayList(100);
@@ -87,27 +87,14 @@ public class PHPParserAction extends TextEditorAction {
       }
       if (phpFlag) {
         IPreferenceStore store = PHPeclipsePlugin.getDefault().getPreferenceStore();
-        if (store.getString(PHPeclipsePlugin.PHP_PARSER_DEFAULT).equals(PHPeclipsePlugin.PHP_INTERNAL_PARSER)) {
-//          // first delete all the previous markers
-//          fileToParse.deleteMarkers(IMarker.PROBLEM, false, 0);
-//          
-//          //the tasks are removed here
-//          fileToParse.deleteMarkers(IMarker.TASK, false, 0);
-                                       PHPBuilder.removeProblemsAndTasksFor(fileToParse);
-          //                    try {
-          //                      InputStream iStream = fileToParse.getContents();
-          parse(fileToParse); //, iStream);
-          //                      iStream.close();
-          //                    } catch (IOException e) {
-          //                    }
-        } else {
+//        if (store.getString(PHPeclipsePlugin.PHP_PARSER_DEFAULT).equals(PHPeclipsePlugin.PHP_INTERNAL_PARSER)) {
+//          PHPBuilder.removeProblemsAndTasksFor(fileToParse);
+//          parse(fileToParse); //, iStream);
+//        } else {
           ExternalPHPParser parser = new ExternalPHPParser(fileToParse);
           parser.phpExternalParse();
-        }
+//        }
       }
-//    } catch (CoreException e) {
-//    }
-
   }
   /**
    * Finds the file that's currently opened in the PHP Text Editor