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