From: Antoine Musso <hashar@users.mediawiki.org>
Date: Thu, 16 Feb 2012 08:36:36 +0000 (+0000)
Subject: always have $wgDoxyGenerateMan defined
X-Git-Tag: 1.31.0-rc.0~24673
X-Git-Url: http://git.cyclocoop.org/%22%20%20.%20generer_url_ecrire%28%22mots_tous%22%29%20.%20%22?a=commitdiff_plain;h=6e5c5b4b80370cbf703f2e9f2ce7ebc5bcdd37b0;p=lhc%2Fweb%2Fwiklou.git

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 0c3b262edf..a0c8587cd5 100644
--- 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