Fix for capital letter extensions .JPG, .GIF, .PNG

I am a filename purist (no capitals or spaces), however, is there a plan to update Hot Joomla Gallery default.php line 98 to something like the following fix for recognizing capital extension characters?:

if (strpos($file, 'JPG') !== false || strpos($file, 'jpg') !== false || strpos($file, 'PNG') !== false || strpos($file, 'png') !== false || strpos($file, 'GIF') !== false || strpos($file, 'gif') !== false) {


OR

if (strpos(strtolower($file), 'jpg') !== false || strpos(strtolower($file), 'png') !== false || strpos(strtolower($file), 'gif') !== false) {

?

You have an point, code would be better eater with strtolower or with stripos although we did not have problem with that ever. Thanks for your suggestion.

I've got no problem at all after i disable and enable it.

Can you be more specific