Panduan:GetReplicaServer.php
| Versi MediaWiki: | ≥ 1.28 |
| Berkas MediaWiki: getReplicaServer.php | |
|---|---|
| Lokasi: | maintenance/ |
| Kode sumber: | master • 1.43.1 • 1.42.6 • 1.39.12 |
| Kelas: | GetReplicaServer |
Rincian
getReplicaServer.php adalah sebuah skrip pemeliharaan yang melaporkan nama inang dari peladen basis data replika.
Pilihan
| Pilihan | Deskripsi | Diperlukan |
|---|---|---|
| --group | Query group to check specifically | Opsional |
| --cluster | Use an external cluster by name | Opsional |
Penggunaan
php maintenance/run.php getReplicaServer [ --group| --cluster ]
Terminal
$ php maintenance/run.php getReplicaServer replica1.serv.er
In MediaWiki version 1.39.12 and earlier, you must invoke maintenance scripts using
php maintenance/scriptName.php instead of php maintenance/run.php scriptName.