From this article I cannot parse if they use simple Mysql replication with GTID or MySQL cluster/Galera/similar solution.