ZSTD-3864 PHP preferences - PHP - Debug - default PHP executable
currently is 5.4.x, should be 5.5.x
Merge branch 'master' of git@github.com:zendtech/pdt.git