diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2007-05-16 20:58:53 +0000 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2007-05-16 20:58:53 +0000 |
commit | cecb985bee3bdd252e1b8dc0bd500b37cd52be01 (patch) | |
tree | 17266aa237742640aabee7856f0202317a45d540 /maintenance/getLagTimes.php | |
parent | 0bac06c301f2a83edb0236e4c2434da16848d549 (diff) |
Aktualisierung auf MediaWiki 1.10.0
Plugins angepasst und verbessert
kleine Korrekturen am Design
Diffstat (limited to 'maintenance/getLagTimes.php')
-rw-r--r-- | maintenance/getLagTimes.php | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/maintenance/getLagTimes.php b/maintenance/getLagTimes.php index f2c06f6a..5c55d52c 100644 --- a/maintenance/getLagTimes.php +++ b/maintenance/getLagTimes.php @@ -15,7 +15,8 @@ if( empty( $wgDBservers ) ) { } else { $ip = gethostbyname( $host ); } - $stars = str_repeat( '*', intval( $lag ) ); + $starLen = min( intval( $lag ), 40 ); + $stars = str_repeat( '*', $starLen ); printf( "%10s %20s %3d %s\n", $ip, $host, $lag, $stars ); } } |