Snippit: PHP: Find the extenstion of a filename