Manual:getReplicaServer.php
| MediaWiki version: | ≥ 1.28 |
| MediaWiki file: getReplicaServer.php | |
|---|---|
| Location: | maintenance/ |
| Source code: | master • 1.43.0 • 1.42.4 • 1.39.11 |
| Classes: | GetReplicaServer |
Details
editgetReplicaServer.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
editphp maintenance/run.php getReplicaServer [ --group| --cluster ]
Terminal
$ php maintenance/run.php getReplicaServer replica1.serv.er
In MediaWiki version 1.39.10 and earlier, you must invoke maintenance scripts using
php maintenance/scriptName.php instead of php maintenance/run.php scriptName.