better php indentation