def get_extname(self):
name = self._info['<STR_LIT>']<EOL>if name.strip() == '<STR_LIT>':<EOL><INDENT>name = self._info['<STR_LIT>']<EOL><DEDENT>return name.strip()<EOL>
Get the name for this extension, can be an empty string