Merge "Improve Doxygen template used by mwdocgen.php"

diff --combined maintenance/Doxyfile
index 0c89c05,19bd450..7e9220c
--- 1/maintenance/Doxyfile
--- 2/maintenance/Doxyfile
+++ b/maintenance/Doxyfile
@@@ -4,10 -4,10 +4,10 @@@
  # doxygen (www.doxygen.org) for MediaWiki.
  #
  # Some placeholders have been added for MediaWiki usage:
- # {{OUTPUT_DIRECTORY}}
- # {{CURRENT_VERSION}}
- # {{STRIP_FROM_PATH}}
- # {{INPUT}}
+ # OUTPUT_DIRECTORY = {{OUTPUT_DIRECTORY}}
+ # CURRENT_VERSION  = {{CURRENT_VERSION}}
+ # STRIP_FROM_PATH  = {{STRIP_FROM_PATH}}
+ # INPUT            = {{INPUT}}
  #
  # To generate documentation run: php mwdocgen.php --no-extensions
  
@@@ -132,7 -132,7 +132,7 @@@ CITE_BIB_FILES         
  #---------------------------------------------------------------------------
  # Configuration options related to warning and progress messages
  #---------------------------------------------------------------------------
 -QUIET                  = NO
 +QUIET                  = YES
  WARNINGS               = YES
  WARN_IF_UNDOCUMENTED   = YES
  WARN_IF_DOC_ERROR      = YES