===> Cleaning for php-mode-1.13.1nb1