Manual:GetLagTimes.php/de-formal

Details
getLagTimes.php file is a maintenance script to display replication lag times from.

Usage
The script can be repeatedly called from the command line to create a simple 'lagtop' script that monitors a cluster's status.