From 088f3ffc5d27a9eca9cdb68f254172e65dca42ee Mon Sep 17 00:00:00 2001
From: Petr Skoda <skodak@moodle.org>
Date: Sun, 8 Nov 2009 21:20:21 +0000
Subject: [PATCH] NOBUG fixed TODO which was already solved

---
 lib/outputrenderers.php | 1 -
 1 file changed, 1 deletion(-)

diff --git a/lib/outputrenderers.php b/lib/outputrenderers.php
index 993b3dc189..8bd90bfc12 100644
--- a/lib/outputrenderers.php
+++ b/lib/outputrenderers.php
@@ -685,7 +685,6 @@ class moodle_core_renderer extends moodle_renderer_base {
      * @return string HTML that you must output this, preferably immediately.
      */
     public function header() {
-        // TODO remove $navigation and $menu arguments - replace with $PAGE->navigation
         global $USER, $CFG;
 
         $this->page->set_state(moodle_page::STATE_PRINTING_HEADER);
-- 
2.39.5