mirror of
https://github.com/moodle/moodle.git
synced 2025-01-19 06:18:28 +01:00
051857fcb9
The call to the class 'repository' introduced in the commit d05c2ac7cc78 didn't fully work and threw: "Exception - Class 'repository' not found". This fixes the missing library inclusion.