メモphpMyAdminを使用しているが、 実host名を指定すると、似たような名前が多くて混乱するので 別名を付けたいという要望です。config.inc.phpでのサーバー列挙部分で一手間foo_hostにfooという別名をつける場合verboseというキーを追加すれば良いようです…