Fix PHP indentation.