always have $wgDoxyGenerateMan defined

r101807 introduced a new variable which was not always defined.

diff --git a/maintenance/mwdocgen.php b/maintenance/mwdocgen.php
index 0c3b262..a0c8587 100644 (file)
--- a/maintenance/mwdocgen.php
+++ b/maintenance/mwdocgen.php
@@ -78,6 +78,8 @@ $mwExcludePaths = array(
 /** Variable to get user input */
 $input = '';
 $exclude_patterns = '';
+/** Whether to generates man pages: */
+$wgDoxyGenerateMan = false;
 
 #
 # Functions