changeset 15 | 305cee3b388d |
parent 13 | 2ff220cfde13 |
child 47 | ae140472d97c |
--- a/list_supermasters.php Mon Jun 04 19:04:55 2007 +0000 +++ b/list_supermasters.php Tue Jun 05 22:40:47 2007 +0000 @@ -14,16 +14,7 @@ { $supermasters = get_supermasters(0); - $num_supermasters = count($supermasters); - if ($supermasters < 0) - { - $num_supermasters = "0"; - } - else - { - $num_supermasters = count($supermasters); - } - + $num_supermasters = ($supermasters == -1) ? 0 : count($supermasters); ?> <h3><? printf(_('List all %s supermasters'), $num_supermasters); ?></h3>