Manual:getReplicaServer.php

MediaWiki version:
1.28

Details

edit

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

Options

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

Usage

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

See also

edit