diff --git a/lib/navigationlib.php b/lib/navigationlib.php index 2af544f0565..fe0818ca139 100644 --- a/lib/navigationlib.php +++ b/lib/navigationlib.php @@ -411,7 +411,7 @@ class navigation_node { $title = $this->title; } - if ($this->icon !== null) { + if ($this->icon instanceof renderable) { $icon = $OUTPUT->render($this->icon); $content = $icon.$content; // use CSS for spacing of icons } else if ($this->helpbutton !== null) {