How to change php file name?

Question

PHP

After transferring the site from local to hosting, I was horrified, 60% of the materials do not display pictures, and the point is that the path to the /1.png type file is indicated in the database, but in reality the file name is 1.PNG, it would seem that you rename the database from /1. png to /1.PNG, but 40% of the files have a png extension.
And there are two ways:
1) Run through the directory in ascending order of files and replace the extension in the database if it is not true
2) Or rename PNG files to png
Tell me how any of the two methods can be implemented.

Answer 1

2)

$a = glob('*.PNG');
foreach($a as $name)
{
  $name_new = str_replace(".PNG", ".png", $name);
  rename($name, $name_new);
}

Answer 2

Or do not write shitty code and do not take into account the case after the select from the database.

Answer 3

stackoverflow.com/questions/11818408/convert-all-f...

Answer 4

And the whole problem is that when developing on Windows systems, they never think about the fact that register matters in Unix systems;)
I can offer a third option
3) Buy windows hosting
:D

Answer 5

Download site to local machine, change file names in any available multiple rename tool, upload files back.