moved php filetype settings