Bug#925068: doxygen: search.php uses

2019-03-21 Thread Kunal Mehta
Hi, On Wed, 20 Mar 2019 18:52:04 +0100 Paolo Greppi wrote: > Another option is to just backport the upstream fix. I think this is probably the best option for both buster and stretch. As much as I'd like to see a new doxygen version in buster, #919413 looks a little too impactful to do now that

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-20 Thread Paolo Greppi
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 php 7.3. Fixing it for buster is higher pr

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