Bug#925068: doxygen: search.php uses <script language="php"> which is not supported by php7.0

[Antoine Musso <hashar@free.fr>]

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 
> php 7.3.
>
> Fixing it for buster is higher priority, and a solution could be to 
> backport doxygen 1.8.15,
> but before that we need it in testing: https://bugs.debian.org/919413
> Then for stretch, backporting it to stretch too is an option if it is 
> painless.
>
> Another option is to just backport the upstream fix.
>
> I propose that we keep this on hold for now.


Hello Paolo,

Thank you for the quick reply and all the context with 1.8.15 status. I 
hope it makes it to testing and get included in buster!


Regarding this bug, I will get our team to rebuild the Debian package 
with the patch included (22b67836), test it, deploy it and monitor how 
our documentations behave.  At least that will fix it for us.

Then maybe that will build enough confidence to have the patch included 
in the Stretch package?


--
Antoine "hashar" Musso