list_supermasters.php
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>