From 1d9b0d78a98d61949bf4de3d5d19e732dbaed705 Mon Sep 17 00:00:00 2001
From: Mayhem <stepien.nicolas@gmail.com>
Date: Sat, 8 Feb 2014 18:07:11 +0100
Subject: [PATCH] board -> boardID in Header.generateBoardList().

---
 src/General/Header.coffee | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/src/General/Header.coffee b/src/General/Header.coffee
index 64d83ee37..254b68ffa 100644
--- a/src/General/Header.coffee
+++ b/src/General/Header.coffee
@@ -123,27 +123,27 @@ Header =
           href: 'javascript:;'
         $.on a, 'click', Header.toggleBoardList
         return a
-      board = if /^current/.test t
+      boardID = if /^current/.test t
         g.BOARD.ID
       else
         t.match(/^[^-]+/)[0]
       for a in as
-        if a.textContent is board
+        if a.textContent is boardID
           a = a.cloneNode true
 
           a.textContent = if /-title/.test(t) or /-replace/.test(t) and $.hasClass a, 'current'
             a.title
           else if /-full/.test t
-            "/#{board}/ - #{a.title}"
+            "/#{boardID}/ - #{a.title}"
           else if m = t.match /-text:"(.+)"/
             m[1]
           else
             a.textContent
 
-          if /-archive/.test(t) and href = Redirect.to 'board', {boardID: board}
+          if /-archive/.test(t) and href = Redirect.to 'board', {boardID}
             a.href = href
 
-          $.addClass a, 'navSmall' if board is '@'
+          $.addClass a, 'navSmall' if boardID is '@'
           return a
       $.tn t
     $.add list, nodes