php5 on php-mode