From 693b871456a86a547283ba2aa973383b8992f50a Mon Sep 17 00:00:00 2001
From: Matt Pass <matt@mattpass.com>
Date: Wed, 27 Aug 2014 08:18:02 +0100
Subject: [PATCH] Set auth token in session, add GitHub nav

If we have set an auth token in the settings, need to set the session
var
Add the extra nav for GitHub
---
 index.php | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/index.php b/index.php
index 7b71113..7bec04c 100644
--- a/index.php
+++ b/index.php
@@ -97,6 +97,7 @@ $t = $text['index'];
 		"top.ICEcoder.bugFileCheckTimer = ".$ICEcoder["bugFileCheckTimer"].";".
 		"top.ICEcoder.bugFileMaxLines = ".$ICEcoder["bugFileMaxLines"].";";
 		if($ICEcoder["githubAuthToken"] != "") {
+			$_SESSION['githubAuthToken'] = $ICEcoder["githubAuthToken"];
 			echo "top.ICEcoder.githubAuthTokenSet = true;";
 		}
 		echo "top.ICEcoder.csrf = '".$_SESSION["csrf"]."';";
@@ -174,6 +175,11 @@ $t = $text['index'];
 			<li><a nohref onclick="top.ICEcoder.canShowFMNav=true;top.ICEcoder.showHideFileNav('show','optionsHelp')" onmouseover="if(top.ICEcoder.canShowFMNav) {top.ICEcoder.showHideFileNav('show','optionsHelp')}" id="optionsHelpNav"><?php echo $t['Help'];?></a></li>
 		</ul>
 	</div>
+	<div id="githubNav" class="githubNav">
+		<div class="commit" id="githubNavCommit" onclick="top.ICEcoder.gitHubAction('commit')">Commit</div>
+		<div class="selected" id="githubNavSelectedCount">Selected: 0</div>
+		<div class="pull" id="githubNavPull" onclick="top.ICEcoder.gitHubAction('pull')">Pull</div>
+	</div>
 	<div class="options" id="fileOptions">
 		<div id="optionsFile" class="optionsList" onmouseover="top.ICEcoder.showHideFileNav('show',this.id)" onmouseout="top.ICEcoder.showHideFileNav('hide',this.id);top.ICEcoder.canShowFMNav=false">
 			<ul>