From 6e5c5b4b80370cbf703f2e9f2ce7ebc5bcdd37b0 Mon Sep 17 00:00:00 2001 From: Antoine Musso Date: Thu, 16 Feb 2012 08:36:36 +0000 Subject: [PATCH] always have $wgDoxyGenerateMan defined r101807 introduced a new variable which was not always defined. --- maintenance/mwdocgen.php | 2 ++ 1 file changed, 2 insertions(+) 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 -- 2.20.1