Comments - RENAME TABLE
Content reproduced on this site is the property of its respective owners,
and this content is not reviewed in advance by MariaDB. The views, information and opinions
expressed by this content do not necessarily represent those of MariaDB or any other party.
There is one missing option:
You may want to have also "IF NOT EXISTS" considering that the target name may also already exists or not.
Feel free to request as a feature.
There is an error in privileges section.
You need ALTER / DROP on source table and CREATE / INSERT on destination table.