if (empty($_SESSION['__ZF'][$namespace]['ENVGH'])) { unset($_SESSION['__ZF'][$namespace]['ENVGH']); }