As of May 2022 we use MariaDB 10.5 on all servers. Please see the MariaDB Knowledgebase for differences / incompatibilities between MariaDB and MySQL.