Do you suggest to stay on a MariaDB while developer is using MySQL?

Script developer has on their repository a MySQL 5.x support. When I have told him that I am having MariaDB (I am not aware a bout any issue of my website), the developer told me:

Yet Oracle people says that MariaDB is "diverging more and more" and the process to migrate will be more complicated.

My new control panel (Virtualmin) default DB server is MariaDB...

Do you suggest to stay on a MariaDB while developer is using MySQL? WordPress ...