Jump to content

Manual:GetReplicaServer.php

From mediawiki.org
MediaWiki version:
1.28

Details

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

Options

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

Usage

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

See also