Как сделать расширение имени файлов

В обычном случае при изменении имени файла вы не можете поменять его формат, вам нужно менять формат другим способом, это занимает много времени.