How to rename MySQL table

It's quite easy to change a name of MySQL table and the syntax is similar to that of other
databases. Of course you'd have to make sure the table name is not hardcoded somewhere i.e.
in a php script. Just run this command:

mysql> RENAME TABLE tab_a TO tab_b;