fix php indentation