edit php files with html filetype
updated plugins