Searched refs:highlight_orig (Results 1 – 1 of 1) sorted by relevance
25 var $highlight_orig = array(); variable in action_plugin_nohighlight201 $this->highlight_orig = $highlight;204 $this->highlight_orig = array();214 if (!empty($this->highlight_orig)) {215 $highlight = $this->highlight_orig;