diff --git a/lib/outputrenderers.php b/lib/outputrenderers.php index d7399fd54fe..5e60efd74fb 100644 --- a/lib/outputrenderers.php +++ b/lib/outputrenderers.php @@ -946,6 +946,39 @@ class core_renderer extends renderer_base { return $output; } + /** + * The standard HTML that should be output just before the