From 9226a0ea2957c5578528ce17c281fd270e59a106 Mon Sep 17 00:00:00 2001 From: kanoi Date: Fri, 19 Sep 2014 18:26:33 +1000 Subject: [PATCH] php - same header spacing for users/workers --- pool/page.php | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/pool/page.php b/pool/page.php index f4127f04..b9fca6ed 100644 --- a/pool/page.php +++ b/pool/page.php @@ -306,10 +306,10 @@ function pgtop($dotop, $user, $douser) $top .= " $nlb"; $top .= ''; $top .= ''; - $top .= ''; - $top .= ''; - $top .= ''; - $top .= '
Users:'.$info['users'].'
Workers:'.$info['workers'].'
'; + $top .= 'Users: '; + $top .= ' '.$info['users'].''; + $top .= 'Workers: '; + $top .= ' '.$info['workers'].''; $top .= ''; if ($douser === true)