Manual:RenameDbPrefix.php

Details
renameDbPrefix.php file is a maint-scripts>Special:MyLanguage/Manual:Maintenance scripts|maintenance script to change the prefix of database tables.