alter indentation only for PHP files
update a bunch of plugins