--- html/lista.php	2000/06/28 07:27:16	1.10
+++ html/lista.php	2000/06/29 09:26:56	1.11
@@ -2,6 +2,7 @@
 
 	include("inc/head.inc");
 	include("inc/prava.inc");
+	include("inc/checkbox.inc");
 
 	if (! isset($from)) {
 		$from=0;
@@ -38,13 +39,6 @@
 		echo ">$text</option>";
 	}
 
-	function checkbox($name,$current) {
-        	echo "<input type=\"checkbox\" name=\"$name\"";
-		if (isset($current)) {
-			echo " checked";
-		}
-		echo ">";
-	}
 
 	if (! isset($sql_upit)) { $sql_upit="novi_na_vrh"; }