changing file extensions using cmd at once

this video shows how you can change extensions of large number of files at once using cmd