Manual:getReplicaServer.php

Other languages:
MediaWiki version:
1.28

DetailsEdit

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

OptionsEdit

Option Description Required
--group Query group to check specifically Optional
--cluster Use an external cluster by name Optional

UsageEdit

php maintenance/getReplicaServer.php [ --group| --cluster ]
Terminal
$ php maintenance/getReplicaServer.php

replica1.serv.er

See alsoEdit