[MediaWiki-commits] [Gerrit] mwdocgen.php going to require a LocalSettings.php - change (integration/jenkins)
Hashar has uploaded a new change for review. https://gerrit.wikimedia.org/r/66071 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(-) git pull ssh://gerrit.wikimedia.org:29418/integration/jenkins refs/changes/71/66071/1 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: newchange Gerrit-Change-Id: Ia4ab471f810b352acdc1453a55773a0f99727a53 Gerrit-PatchSet: 1 Gerrit-Project: integration/jenkins Gerrit-Branch: master Gerrit-Owner: Hashar has...@free.fr ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] mwdocgen.php going to require a LocalSettings.php - change (integration/jenkins)
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 has...@free.fr Gerrit-Reviewer: Hashar has...@free.fr ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
