echo ''?> echo ''?> printJavascript('../xajax/'); ?>
switch($ambito){ case $AMBITO_CENTROS : $urlimg='../images/iconos/centros.gif'; $textambito=$TbMsg[0]; break; case $AMBITO_GRUPOSAULAS : $urlimg='../images/iconos/carpeta.gif'; $textambito=$TbMsg[1]; break; case $AMBITO_AULAS : $urlimg='../images/iconos/aula.gif'; $textambito=$TbMsg[2]; if (isset($_GET["idambito"])) $idambito=$_GET["idambito"]; break; case $AMBITO_GRUPOSORDENADORES : $urlimg='../images/iconos/carpeta.gif'; $textambito=$TbMsg[3]; break; case $AMBITO_ORDENADORES : $urlimg='../images/iconos/ordenador.gif'; $textambito=$TbMsg[4]; break; } echo ''.$descricomando.'
';
echo '
'.$TbMsg[6].': '.$textambito.','.$nombreambito.'