Adminer. The code was never great, but it worked, and I have not been able to find a suitable replacement that isn't slow and bloated.

The specific functionality that was broken was the plugin that allows picking from a fixed list of servers instead of entering the address every time.