Krinkle has submitted this change and it was merged.
Change subject: mwcore-docgen: Use --version option.
......................................................................
mwcore-docgen: Use --version option.
See also mediawiki-core I1d5b6266e49a.
Change-Id: I52e3c414fb06ba2fd0ecc76b46cd4250c5e67373
---
M tools/mwcore-docgen.sh
1 file changed, 3 insertions(+), 1 deletion(-)
Approvals:
Krinkle: Verified; Looks good to me, approved
diff --git a/tools/mwcore-docgen.sh b/tools/mwcore-docgen.sh
index cc5ffe7..00bade0 100755
--- a/tools/mwcore-docgen.sh
+++ b/tools/mwcore-docgen.sh
@@ -62,6 +62,8 @@
# Trick explanation: the command stderr is sent as stdin to a tee FIFO which in
# turns write back to stderr.
php "$WORKSPACE/maintenance/mwdocgen.php" \
- --no-extensions --output "$DEST_DIR" \
+ --no-extensions \
+ --output "$DEST_DIR" \
+ --version "$TARGET_VERSIONDIR" \
1 > "$DEST_DIR/console.txt" \
2 > >(tee "$DEST_DIR/errors.txt" >&2)
--
To view, visit https://gerrit.wikimedia.org/r/53956
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I52e3c414fb06ba2fd0ecc76b46cd4250c5e67373
Gerrit-PatchSet: 1
Gerrit-Project: integration/jenkins
Gerrit-Branch: master
Gerrit-Owner: Krinkle <[email protected]>
Gerrit-Reviewer: Hashar <[email protected]>
Gerrit-Reviewer: Krinkle <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
