";
echo "Mapbender GUI list ";
echo " | ";
if (count($arrayGUIs)>0){
$v = array();
$t = array();
$sql_list_guis = "SELECT DISTINCT gui_id,gui_name,gui_description FROM gui WHERE gui_id IN (";
for($i=0; $i0){$sql_list_guis .= ",";}
$sql_list_guis .= "$".($i+1);
array_push($v,$arrayGUIs[$i]);
array_push($t,'s');
}
$sql_list_guis .= ") ORDER BY gui_name";
$res_list_guis = db_prep_query($sql_list_guis,$v,$t);
echo " | ";
echo "";
echo " |