$value) { print_unescaped("$name='$value' "); }; print_unescaped('/>'); ?>
class="active">
t('Log out'));?>
class="active">
); ?>)
); ?>){kind=icon}
); ?>)
t('Log out'));?>