Hashar has submitted this change and it was merged. Change subject: mwdocgen.php going to require a LocalSettings.php ......................................................................
mwdocgen.php going to require a LocalSettings.php I have overhauled the old mwdocgen.php script to make it depends on the Maintenance class: https://gerrit.wikimedia.org/r/#/c/64866/ A side effect pointed by PleaseStand, is that the wrapper now requires a LocalSettings.php file. Using touch will create an empty file if it not there. bug: 34436 Change-Id: Ia4ab471f810b352acdc1453a55773a0f99727a53 --- M tools/mwcore-docgen.sh 1 file changed, 4 insertions(+), 0 deletions(-) Approvals: Hashar: Verified; Looks good to me, approved diff --git a/tools/mwcore-docgen.sh b/tools/mwcore-docgen.sh index 30cfef0..bacad26 100755 --- a/tools/mwcore-docgen.sh +++ b/tools/mwcore-docgen.sh @@ -53,6 +53,10 @@ echo "Found target: '$DEST_DIR'" +# Craft a dumb LocalSettings.php which is required by Maintenance script +# albeit the mwdocgen.php script does not require it. +touch "$WORKSPACE/LocalSettings.php" + # Run the MediaWiki documentation wrapper # # We want to make sure both stdin and stderr are logged to publicly accessible -- To view, visit https://gerrit.wikimedia.org/r/66071 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ia4ab471f810b352acdc1453a55773a0f99727a53 Gerrit-PatchSet: 1 Gerrit-Project: integration/jenkins Gerrit-Branch: master Gerrit-Owner: Hashar <[email protected]> Gerrit-Reviewer: Hashar <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
