use php-mode for php files + formatting