Merge "maintenance/getReplicaServer.php: Remove reference to long-deleted config...