[phpMyAdmin Developers] Relating phpMyAdmin release versions with library versions