point back dev config to php5dev