dépôts
/
lhc
/
web
/
wiklou.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
1062d84
)
always have $wgDoxyGenerateMan defined
author
Antoine Musso
<hashar@users.mediawiki.org>
Thu, 16 Feb 2012 08:36:36 +0000
(08:36 +0000)
committer
Antoine Musso
<hashar@users.mediawiki.org>
Thu, 16 Feb 2012 08:36:36 +0000
(08:36 +0000)
r101807 introduced a new variable which was not always defined.
maintenance/mwdocgen.php
patch
|
blob
|
history
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