Fix php-mode comment syntax.