Skip to content

BUG: #1623: fix doxygen search bar

Guillaume Paserorequested to merge
1623-doxy-search-php into develop

PHP 7 only accepts scripts declared between <?php ... ?>

Closes #1623 (closed)

Merge request reports