if (
((IFile) firstSelection).getFileExtension().equals("php") ||
((IFile) firstSelection).getFileExtension().equals("php3") ||
- ((IFile) firstSelection).getFileExtension().equals("php4")
+ ((IFile) firstSelection).getFileExtension().equals("php4") ||
+ ((IFile) firstSelection).getFileExtension().equals("php5")
) {
ILaunchConfiguration config = findLaunchConfiguration((IFile)firstSelection, mode);
try {
}
protected void log(String message) {
- PHPDebugUiPlugin.getDefault().log(new Status(Status.INFO, PHPDebugUiPlugin.PLUGIN_ID, Status.INFO, message, null));
+ PHPDebugUiPlugin.log(new Status(Status.INFO, PHPDebugUiPlugin.PLUGIN_ID, Status.INFO, message, null));
}
protected void log(Throwable t) {
- PHPDebugUiPlugin.getDefault().log(t);
+ PHPDebugUiPlugin.log(t);
}
}