diff --git a/lib/jssourcemap.php b/lib/jssourcemap.php
index f6e5e38d1cb..980d4f11184 100644
--- a/lib/jssourcemap.php
+++ b/lib/jssourcemap.php
@@ -26,8 +26,9 @@
 // comment out when debugging or better look into error log!
 define('NO_DEBUG_DISPLAY', true);
 
-require('../config.php');
-require_once("$CFG->dirroot/lib/configonlylib.php");
+// We need just the values from config.php and minlib.php.
+define('ABORT_AFTER_CONFIG', true);
+require('../config.php'); // This stops immediately at the beginning of lib/setup.php.
 require_once("$CFG->dirroot/lib/classes/requirejs.php");
 
 $slashargument = min_get_slash_argument();