Use tabs in php-mode