set php as filetype for phpt files