diff --git a/mod/workshop/submission.php b/mod/workshop/submission.php
index 2b1c1e730f8..93b5ee386a8 100644
--- a/mod/workshop/submission.php
+++ b/mod/workshop/submission.php
@@ -26,6 +26,7 @@
 
 require_once(dirname(dirname(dirname(__FILE__))).'/config.php');
 require_once(dirname(__FILE__).'/locallib.php');
+require_once($CFG->dirroot . '/repository/lib.php');
 
 $cmid   = required_param('cmid', PARAM_INT);            // course module id
 $id     = optional_param('id', 0, PARAM_INT);           // submission id