Undefined array key "gestion_laboral"
#0 /var/www/html/red/laboral/v_horario.php(18): devel_error_handler()
Array
(
    [errno] => 2
    [message] => Undefined array key "gestion_laboral"
    [file] => /var/www/html/red/laboral/v_horario.php
    [line] => 18
    [er] => 24565
    [shell] => 
)