Removed web-mode, php-mode, and pretty-mode