added php indentation setting