Fix php-mode (off irony-mode for php-mode)