diff --git a/lib/deprecatedlib.php b/lib/deprecatedlib.php
index b0a84867b11..ca557890752 100644
--- a/lib/deprecatedlib.php
+++ b/lib/deprecatedlib.php
@@ -4306,6 +4306,7 @@ function get_courseid_from_context(context $context) {
     } else {
         return false;
     }
+}
 
 /**
  * Preloads context information together with instances.