Hello Matthias,
I am reaching you for the Doxygen Debian package as you appear in its
Debian changelog.
Doxygen generated search.php does not work with Php 7.0, it is thus
broken on Stretch.
Upstream has fixed it, but we would need the patch to be backported as
an update to the Stretch package. Is that something you could
potentially handle?
The patch is straightforward:
https://github.com/doxygen/doxygen/commit/22b67836d678cea695b977ec648c0aa013339c55
https://github.com/doxygen/doxygen/pull/680
And Debian bug: https://bugs.debian.org/925068
--
Antoine "hashar" Musso