Manual:RenameDbPrefix.php/de-formal

Details
renameDbPrefix.php file is a maintenance script to change the prefix of database tables.

Run this script after changing on a wiki. The wiki will have to get downtime to do this correctly.

Common error
This error occurs when either the --old or --new value is incorrect.
 * Invalid prefix!