Tech:Rename a wiki

One should be careful renaming a wiki (database/domain) as it involves many steps and basically anything going wrong can make it impossible for users to login across the entire farm, or worse.

Following directions found here, I will update to clarify a little.

Note: The wiki should probably be made read-only before doing any of this, remember to make it readable after.
 * 1) One should create a complete SQL dump of the wiki to be renamed.
 * 2) * there are probably multiple ways of doing this, but I used "sudo -i mysqldump nameofwikidb > nameofwikidb.sql" in my home directory, replacing "nameofwikidb" to be the name of the database, including the final "wiki" Note that this (if run in your home directory) creates the SQL dump in your home directory.
 * 3) Create an empty database for the new wiki.
 * 4) * I did this by using "sudo -i mysql" to open an interactive prompt, followed by "create database nameofnewwikidb" replacing nameofnewwikidb with the target subdomain + wiki.
 * 5) Import the SQL dump into the new database.
 * 6) * Again, probably a few ways to do this, I used "sudo -i mysql" followed by "use nameofnewwikidb" followed by "source /path/to/dump.sql;" replacing the wiki name, path, and file name as appropriate, but including the ; at the end of the command
 * 7) After the new wiki is created, run
 * 8) Finally, AFTER YOU ARE VERY CERTAIN ALL OF THE ABOVE WAS DONE CORRECTLY, you may drop the old database.

After rename

 * 1) Go to /mnt/mediawiki-static and transfer the static files to the new DB name
 * 2) If there is any configuration on LocalSettings.php change the DB name there as well