Update to  Adminer 3.7.1