Version bump php-mode.