[php] Check file extension in upload form in PHP