Re: [Phpmyadmin-devel] Refactoring db_operations: problem renaming a db