X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fscripts%2Fpublic_html%2Fcommon.php;h=ca853603da39838e3ab1cc239fa555b3f8c090ff;hb=d90d73349df641ea2d18b4c2ff4fe9d970861778;hp=5b9f51e5dc68cc488bb66d2b4ee79528a2ebf3bc;hpb=efa5deb1fc321a117344464ad73f59254d832fb9;p=helm.git

diff --git a/matita/scripts/public_html/common.php b/matita/scripts/public_html/common.php
index 5b9f51e5d..ca853603d 100644
--- a/matita/scripts/public_html/common.php
+++ b/matita/scripts/public_html/common.php
@@ -1,5 +1,11 @@
 <?php
 
+function array_to_combo($a) {
+  foreach($a as $k => $v){
+    echo "<option value=\"{$v}\">{$v}</option>";
+  }
+}
+
 function query($q,$f) {
   $db = mysql_pconnect("localhost","helm");
   mysql_select_db("matita");
@@ -25,15 +31,4 @@ function time_2_cents($t) {
   return ((int) $t_cents) + ((int) $t_secs) * 100 + ((int)$t_minutes) * 6000 ;
 }
 
-function array_to_combo($l,$a) {
-  echo "<select name=\"$l\">";
-  echo "<option value=\"--\">--</option>";
-  foreach ($a as $k => $v) {
-    foreach( array_keys($v) as $k1 => $i) {
-      echo "<option value=\"{$v[$i]}\">{$v[$i]}</option>";
-    }
-  }
-  echo "</select>";
-}
-
 ?>