"; echo "
";
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; $i | "; echo ""; echo " |
GUI name | GUI description |
".$row["gui_name"]." | "; echo "".$row["gui_description"]." | "; echo ""; echo ""; echo " |
There are no guis available for this user |