/** Returns the display name for this theme (localized and escaped accordingly to $format)
* @param string $format = 'html'
* Escape the result in html format (if $format is 'html').
* If $format is 'text' or any other value, the display name won't be escaped.
*
* @return string
*/
public function getThemeDisplayName($format = "html")
{
return parent::getThemeDisplayName($format);
}