tests are now handled with a standard Makefile that does not use do_tests.sh

[helm.git] / matita / scripts / public_html / common.php

diff --git a/matita/scripts/public_html/common.php b/matita/scripts/public_html/common.php
index 5b9f51e5dc68cc488bb66d2b4ee79528a2ebf3bc..ca853603da39838e3ab1cc239fa555b3f8c090ff 100644 (file)
--- 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>";
-}
-
 ?>