Manual:MoveBatch.php

Details
moveBatch.php file is a maint-scripts>Special:MyLanguage/Manual:Maintenance scripts|maintenance script to move (rename) a batch of pages. If the target page already exist it will fail with an error message.