12     var $plugins = array();  variable in syntax_plugin_credits
40                 $match($renderer,$this->plugins);
122                   $date = isset($this->plugins[$name]['date'])?$this->plugins[$name]['date']:"" ;
123 …             $author = isset($this->plugins[$name]['author'])?$this->plugins[$name]['author']:"" ; 
124                   if(!isset($this->plugins[$name]['email'])) { 
125 …                $this->plugins[$name]['email'] = str_replace(" ", "_",$author) . "@No_Email_Given";
127                   if(isset($this->plugins[$name]['email'])) { 
131                             $desc = $this->plugins[$name]['desc'];
152                         $address =credits_hide_email($this->plugins[$name]['email']);
172        $this->keys = array_keys($this->plugins);
178         $plugins = plugin_list($type);
179         foreach($plugins as $p){
183             $this->plugins[$info['name']] = $info;