super();
plugin = this;
}
+
public static PHPLaunchingPlugin getDefault() {
return plugin;
}
}
public static void log(Throwable e) {
- log(new Status(IStatus.ERROR, PLUGIN_ID, IStatus.ERROR, PHPLaunchingMessages.getString("PHPLaunchingPlugin.internalErrorOccurred"), e)); //$NON-NLS-1$
+ log(new Status(
+ IStatus.ERROR,
+ PLUGIN_ID,
+ IStatus.ERROR,
+ PHPLaunchingMessages
+ .getString("PHPLaunchingPlugin.internalErrorOccurred"), e)); //$NON-NLS-1$
}
+
/**
* This method is called upon plug-in activation
*/