php-mode: re-enable auto-fill-mode