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.'
'.$descricomando.'
';
echo ' '.$TbMsg[1].'
: '.$textambito.'