Bug#925068: doxygen: search.php uses

2019-03-20 Thread Antoine Musso
On 20/03/2019 18:52, Paolo Greppi wrote: Hi Antoine, and thanks for the good and well documented report. I agree that for consistency doxygen search should work with the PHP version we ship in any given Debian release. And this issue also applies to buster as it will ship doxygen 1.8.13 and

Bug#925068: doxygen: search.php uses

2019-03-19 Thread Antoine Musso
Package: doxygen Version: 1.8.13-4+b1 Severity: important Dear Maintainer, The generated documentation comes with a PHP based search system. The search.php page has: require_once "search_functions.php"; main(); However PHP 7.0 has removed support for