$_SERVER
ключи, начинающиеся с HTTP_
зеркальные заголовки HTTP текущего запроса.
Упоминается во втором наиболее проголосовавшем комментарии в документации о $_SERVER
.
Следовательно, как @Cobra_Fast упоминает в комментарии, $_SERVER['HTTP_DIGEST']
будет содержать содержимое Digest
заголовка HTTP.