How to rename a MySQL database?
The MySQL online manual says about the RENAME DATABASE command:
This statement was added in MySQL 5.1.7 but was found to be dangerous and was removed in MySQL 5.1.23.
So, how to proceed? The rationale: We started with a code name for the project and want the database name now to reflect the definitive name of the project.