php dev server travis