I don't now and hopefully never will need php-mode.