phpMyAdminでhostの別名をつける

メモ

phpMyAdminを使用しているが、
実host名を指定すると、似たような名前が多くて混乱するので
別名を付けたいという要望です。

config.inc.phpでのサーバー列挙部分で一手間

foo_hostにfooという別名をつける場合verboseというキーを追加すれば良いようです。

$i++;
$cfg['Servers'][$i]['auth_type'] = 'http';
$cfg['Servers'][$i]['host'] = 'foo_host';
$cfg['Servers'][$i]['extension'] = 'mysql';
$cfg['Servers'][$i]['port'] = '3306';
$cfg['Servers'][$i]['connect_type'] = 'tcp';
$cfg['Servers'][$i]['compress'] = false;
$cfg['Servers'][$i]['user'] = '';
$cfg['Servers'][$i]['password'] = '';
$cfg['Servers'][$i]['verbose'] = 'foo';//追加

config.sample.inc.phpを読んでも乗ってなかったのでハマりました。
main.phpに

// Use the verbose name of the server instead of the hostname
if (! empty($cfg['Server']['verbose'])) {

という箇所を見つけたので、それで対処しました。

libraries/select_server.lib.php
の中でも同じようなことをしていました。