Add php-indenting