dépôts / lhc / web / wiklou.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1062d84) | patch
always have $wgDoxyGenerateMan defined
authorAntoine Musso <hashar@users.mediawiki.org>
Thu, 16 Feb 2012 08:36:36 +0000 (08:36 +0000)
committerAntoine Musso <hashar@users.mediawiki.org>
Thu, 16 Feb 2012 08:36:36 +0000 (08:36 +0000)
commit6e5c5b4b80370cbf703f2e9f2ce7ebc5bcdd37b0
treee6e0de3b04a41099e8f713961e23b3452e2f6399tree | snapshot
parent1062d84d488d08a3efe52e07585e7ce3f3e80198commit | diff
always have $wgDoxyGenerateMan defined

r101807 introduced a new variable which was not always defined.
maintenance/mwdocgen.php diff | blob | history
Wiklou, le Wiki du Wiklou