Merge "mwdocgen.php: Exit with exit code of passthru(doxygen)"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 15 Mar 2013 07:57:14 +0000 (07:57 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 15 Mar 2013 07:57:14 +0000 (07:57 +0000)
commitac1b5fd19bdad8c46ac47f12a100323bec69d689
tree9a61ccb3b14a1a910f5495aa3ae8e84b5cac4828
parent0d76bceabd9ed9dadc249d59ef78a2cc4bc4f82d
parent5de8086d35c8192c1d58739375461807688674da
Merge "mwdocgen.php: Exit with exit code of passthru(doxygen)"
maintenance/mwdocgen.php