Rev 1127 | Rev 1129 | Ir a la última revisión | Mostrar el archivo completo | | | Autoría | Ultima modificación | Ver Log |
$courses = [];
/*
foreach ($course_ids as $course_id) {
$course = get_course($course_id);
*/