From a1a07e7287e9e764912bbd08383cf43503deb9e8 Mon Sep 17 00:00:00 2001
From: Fabio Comuni <fabrix.xm@gmail.com>
Date: Mon, 7 Nov 2011 10:17:44 +0100
Subject: [PATCH] Add missing $nav_sel in class App

---
 boot.php | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/boot.php b/boot.php
index e46c52a180..16107af80b 100644
--- a/boot.php
+++ b/boot.php
@@ -254,6 +254,8 @@ class App {
 	public  $plugins;
 	public  $apps = array();
 	public  $identities;
+	
+	public $nav_sel;
 
 	private $scheme;
 	private $hostname;