Facebook, YouTube and Google are still massive users of MySQL. And MySQL development is moving along (admittedly after not much for a few years). I doubt MariaDB really figures compared to MySQL in industry use, or new installs.