PHP indentation setup.