further config for php dev