index 9789a57764ea1a2e788e382e3b7667a437869707..528052a875c054e5d28e3f98bd51f356a48c0b1e 100644 (file)
continue;
}
$vars= get_class_vars($info['CLASS']);
- $plHeadline= $vars['plHeadline'];
+ if (isset($info['NAME'])){
+ $plHeadline= _($info['NAME']);
+ } else {
+ $plHeadline= $vars['plHeadline'];
+ }
$plDescription= $vars['plDescription'];
$index= $this->get_index($info['CLASS']);