Correct config for php dev