Board Thread:Wiki General Discussion/@comment-25651575-20170101173714/@comment-5645428-20170101220318

Images with different file name extensions cannot be renamed. Either way, if an appropriate image already exists on the wiki, it is better to avoid the use of the rename script and simply update the file name.