Mention php-mode.el