php: Fix indentation