Add plugins, php specific indent settings