The picture is not a gif
<?php

/*
Een handige functie om snel een imagetype te verkijgen, door naar de signature van de exif-metatags te gaan kijken. Een stuk betrouwbaarder dus dan snel vervangbare extensiecheck.
Dezelfde informatie kan je verkrijgen via getimagesize() maar deze is een stuk trager (werkt op byte-analyse ipv meta-tag analyse), dus zolang je niet de extra informatie nodig hebt die getimagesize() je geeft kan je beter voor exif_imagetype gaan.
*/
if (exif_imagetype('ao.jpg') != IMAGETYPE_GIF) {
    echo 
'The picture is not a gif';
}

/*

1     IMAGETYPE_GIF
2     IMAGETYPE_JPEG
3     IMAGETYPE_PNG
4     IMAGETYPE_SWF
5     IMAGETYPE_PSD
6     IMAGETYPE_BMP
7     IMAGETYPE_TIFF_II (intel byte order)
8     IMAGETYPE_TIFF_MM (motorola byte order)
9     IMAGETYPE_JPC
10     IMAGETYPE_JP2
11     IMAGETYPE_JPX
12     IMAGETYPE_JB2
13     IMAGETYPE_SWC
14     IMAGETYPE_IFF
15     IMAGETYPE_WBMP
16     IMAGETYPE_XBM
17     IMAGETYPE_ICO

*/
show_source(__FILE__);   
?>