получение расширений файлов

Я создаю сайт с огромным количеством папок. Я хочу использовать эти предварительно существующие файлы. Но предыдущий веб-дизайнер смешивал .JPG и .jpg. Очистка это занимает вечность.

Если я знаю, существует ли «banner.jpg», я знаю, что другие файлы также имеют это расширение.

Поэтому я хочу сделать что-то вроде этого:

foreach(glob($FolderName.'/*') as $file) {
if  (stripos($file,$FolderName.'/banner.jpg') === false )
{ $Extension=".JPG"; }
else { $Extension=".jpg"; }
}

Но: несмотря ни на что, $ Extension всегда «.JPG».