php get uploaded file extension, php get file extension from string, How do I get a file extension in PHP
