diff --git a/lib/outputrenderers.php b/lib/outputrenderers.php
index e3334b5c65c..f82147dea43 100644
--- a/lib/outputrenderers.php
+++ b/lib/outputrenderers.php
@@ -821,7 +821,7 @@ class core_renderer extends renderer_base {
      * @return string HTML fragment.
      */
     public function standard_footer_html() {
-        global $CFG, $SCRIPT;
+        global $CFG;
 
         $output = '';
         if (during_initial_install()) {
@@ -862,7 +862,7 @@ class core_renderer extends renderer_base {
      * @return string HTML fragment.
      */
     public function debug_footer_html() {
-        global $CFG;
+        global $CFG, $SCRIPT;
         $output = '';
 
         if (during_initial_install()) {