<?php
function getFileExtension($file) {
    return end(explode(".", $file));
}
?>