My phpmyadmin says: A new version of phpMyAdmin is available and you should consider updating it. The most recent version is 4.9.4, released on 2020-01-08.
I followed this guide How to upgrade PHPmyAdmin [revisited], and now it says: Version information: 4.9.1deb2, latest stable version: 4.9.4
What do I have to do to get 4.9.4?
My server is Ubuntu 18.04.