Manual:GetSlaveServer.php/de-formal

Details
getSlaveServer.php file is a maintenance script to report the hostname of a slave (replica) server.

This script has been removed in (MediaWiki 1.35). Use instead.