add cute barchart

diff --git a/maintenance/getLagTimes.php b/maintenance/getLagTimes.php
index 827bc49..f2c06f6 100644 (file)
--- a/maintenance/getLagTimes.php
+++ b/maintenance/getLagTimes.php
@@ -15,7 +15,8 @@ if( empty( $wgDBservers ) ) {
                } else {
                        $ip = gethostbyname( $host );
                }
-               printf( "%10s %20s %3d\n", $ip, $host, $lag );
+               $stars = str_repeat( '*', intval( $lag ) );
+               printf( "%10s %20s %3d %s\n", $ip, $host, $lag, $stars );
        }
 }