Manual:GetSlaveServer.php

GetSlaveServer.php is a MediaWiki maintenance script that reports the hostname of a slave server.