From 87deca2c542b96a1a4fcd3c62eca780f785598b6 Mon Sep 17 00:00:00 2001
From: Mathias Kresin <m@kresin.me>
Date: Wed, 10 Dec 2014 16:49:22 +0100
Subject: [PATCH] Fix PHP Notice:  Undefined variable: menu

---
 controllers/console.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/controllers/console.php b/controllers/console.php
index 30672c5..5e83969 100644
--- a/controllers/console.php
+++ b/controllers/console.php
@@ -19,6 +19,7 @@ Router\get_action('console', function() {
 
     Response\html(Template\layout('console', array(
         'content' => @file_get_contents(DEBUG_FILENAME),
+        'menu' => 'config',
         'title' => t('Console')
     )));
 });