[phpMyAdmin Developers] phpMyAdmin 5.2.0 is released