Manual:MoveBatch.php

moveBatch.php is a maintenance script located in the maintenance directory that can be used to move (rename) a batch of pages.