Since Oracle more or less given up MySQL i think a switch to MariaDB (which is maintained by Monty, creator of MySQL) is the correct way to go.
I just wan't to create an open discussion about this and see what the devs think.
MariaDB is fully compatible with MySQL so the switch shouldn't be so hard.
OT:
Wikipedia is throwing out MySQL for MariaDB and the performance they measured is 8% faster