diff --git a/lib/outputrenderers.php b/lib/outputrenderers.php
index a9d02b1f2e2..590f0fc4a0a 100644
--- a/lib/outputrenderers.php
+++ b/lib/outputrenderers.php
@@ -4644,6 +4644,17 @@ EOD;
         return $this->render($contextheader);
     }
 
+    /**
+     * Renders the header bar.
+     *
+     * @param context_header $contextheader Header bar object.
+     * @return string HTML for the header bar.
+     */
+    protected function render_context_header(context_header $contextheader) {
+        $context = $contextheader->export_for_template($this);
+        return $this->render_from_template('core/context_header', $context);
+    }
+
     /**
      * Renders the skip links for the page.
      *