Correct php filetype indentation
Add html filetype indentation