Julio 6ec713422d Fix PHP error 8 jaren geleden
..
Chamilo 6ec713422d Fix PHP error 8 jaren geleden