phpmyadmin/phpmyadmin — pull request #1389 by Tithugues (2014-11-08 22:38:10+00:00)
Title: Use $replication_info everywhere, instead of $server_* variables.

As suggested in todo [1], $replication_info has been used everywhere, instead of $server_master/slave variables.
Does someone with replication can test it please?

[1] libraries/replication.inc.php:119