Merge "Improve Doxygen template used by mwdocgen.php"