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