added php-indenting plugin
Removed php-indenting
Added ragtag