We use phpMyAdmin on a couple of servers running Ubuntu 18.04. Ubuntu ships with PHP 7.2, the latest phpMyAdmin version from the official repositories is 4.6.6, which is not compatible with PHP 7.2.
phpMyAdmin does not seem to have an official package repository, all repositories I have found seem not to serve the latest version either.
The only workarounds I have found so far:
- Installing PHP 7.1 in addition to PHP 7.2 from
ppa:ondrej/phpand have phpMyAdmin use the older version
- Manually overwriting the phpMyAdmin files that come with the official package with the latest files
Both seem to be problematic in terms of maintaining the software on the servers. I was wondering how others solve this problem.