Manual:GetReplicaServer.php/de-formal

Details
getReplicaServer.php is a maintenance script that reports the hostname of a replica database server.