is the latest version of Adminer. It was updated 2024-07-23.