ext_details === null) {
throw new FreshRSS_Context_Exception('Extension not initialised!');
}
$name_encoded = urlencode($this->ext_details->getName());
$ext_enabled = $this->ext_details->isEnabled();
if ($ext_enabled) {
$button_class = ' active';
$name_class = '';
$action = 'disable';
$title = _t('gen.action.disable');
} else {
$button_class = '';
$name_class = ' disabled';
$action = 'enable';
$title = _t('gen.action.enable');
}
if ($this->ext_details->getType() === 'user' || FreshRSS_Auth::hasAccess('admin')) {?>
ext_details->getName() ?>
ext_details->getName() ?>