[phpMyAdmin Developers] phpMyAdmin 4.7.0 is released as stable, also 4.0.10.20 security and bugfix release