util.walk_files extensions case insensitive

[w-e-w]

Description

util.walk_files extensions case insensitive

• fix img2img batch skips any files with All CAPS JPG extention must change to lowercase jpg[Bug]:  #14877

Checklist:

• I have read contributing wiki page
• I have performed a self-review of my own code
• My code follows the style guidelines
• My code passes tests

[chuckkay]

Thanks for the quick turn around but * [new branch] walk_files-extensions-case-insensitive -> origin/walk_files-extensions-case-insensitive , didn't fix the problem.. i got a folder with a bunch of jpg's named like this DSC08696.JPG when i run a batch img2img on the folder generate fails after a few seconds and produces nothing.. unfortunitly windows explorer is a pain with changing the case of an extention.... but if i run this command with powershell in the folder [Get-ChildItem -Recurse -File | Where-Object { $.Extension -eq '.JPG' } | Rename-Item -NewName { $.BaseName + '.jpg' }] then the batch img2img works

[w-e-w]

unfortunitly windows explorer is a pain with changing the case of an extention.... but if i run this command with powershell in the folder [Get-ChildItem -Recurse -File | Where-Object { $.Extension -eq '.JPG' } | Rename-Item -NewName { $.BaseName + '.jpg' }] then the batch img2img works

use Bulk Rename Utility

didn't fix the problem

that's very strange because I tested it and it did work on my PC