remove unnecessary storing of the highlighter used within the portal.options

altarnative to the typo fix #571

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});
   }
 }