A php format tool like gofmt