PHPsrc/org.phpsrc.eclipse.pti.core — pull request #2 by steros (2013-05-13 15:30:36+00:00)
Title: Update PHPToolExecutableLauncher.java

https://github.com/PHPsrc/org.phpsrc.eclipse.pti.core/pull/1#issuecomment-15315031

fixes:

https://github.com/PHPsrc/PHP-Tool-Integration/issues/3