Tame indenting for PHP.