From 6a5d47f14622e2cab2ad68a67f61d6e67e00ce9b Mon Sep 17 00:00:00 2001
From: Jon Atkins <github@jonatkins.com>
Date: Sat, 21 Sep 2013 02:42:13 +0100
Subject: [PATCH] remove unnecessary storing of the highlighter used within the
 portal.options altarnative to the typo fix #571

---
 code/portal_highlighter.js | 1 -
 1 file changed, 1 deletion(-)

diff --git a/code/portal_highlighter.js b/code/portal_highlighter.js
index 7e6feb15..ba72f52e 100644
--- a/code/portal_highlighter.js
+++ b/code/portal_highlighter.js
@@ -66,7 +66,6 @@ window.changePortalHighlights = function(name) {
 window.highlightPortal = function(p) {
   
   if(_highlighters !== null && _highlighters[_current_highlighter] !== undefined) {
-    p.options.highligher = _current_highlighter;
     _highlighters[_current_highlighter]({portal: p});
   }
 }