php-mode時にauto-revert-modeをオン