Fix indent of php-mode