...
added propertychange listener to set php executable when the user sets on in the PHP preferences