I'm in the process of switching a site over from plain html files to php files. All of the old files will have some php code inserted into them, which means that I need to change the file extension to .php (actually .phtml in my case).

Is there a way to change the extension of a whole bunch of files at once, so that I don't have to go through and manually change each one?