メモ
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
の中でも同じようなことをしていました。