jenkins-bot has submitted this change and it was merged. Change subject: phase out /srv/slave-scripts ......................................................................
phase out /srv/slave-scripts Now deployed with Wikimedia deployment system, thus /srv/slave-scripts is now under: /srv/deployment/integration/slave-scripts bug: 57063 Change-Id: Ie99d44a328d157569edc3c763243a2cb4cd4b040 --- M bin/mw-apply-settings.sh M bin/run-phpcs-mw.sh M mediawiki/conf.d/50_mw_ext_loader.php 3 files changed, 3 insertions(+), 3 deletions(-) Approvals: Hashar: Looks good to me, approved jenkins-bot: Verified diff --git a/bin/mw-apply-settings.sh b/bin/mw-apply-settings.sh index 6358275..07b2829 100755 --- a/bin/mw-apply-settings.sh +++ b/bin/mw-apply-settings.sh @@ -1,6 +1,6 @@ #!/bin/bash -ex LOCAL_SETTINGS="$WORKSPACE/LocalSettings.php" -MEDIAWIKI_D="/srv/slave-scripts/mediawiki/conf.d" +MEDIAWIKI_D="/srv/deployment/integration/slave-scripts/mediawiki/conf.d" # Setup Junit destination LOG_DIR="$WORKSPACE/log" diff --git a/bin/run-phpcs-mw.sh b/bin/run-phpcs-mw.sh index 06b6460..340bcf4 100755 --- a/bin/run-phpcs-mw.sh +++ b/bin/run-phpcs-mw.sh @@ -73,7 +73,7 @@ done if $HEAD_ONLY; then - PHPCS_FILES=$(/srv/slave-scripts/bin/git-changed-in-head "${PHP_EXTS[@]}") + PHPCS_FILES=$(/srv/deployment/integration/slave-scripts/bin/git-changed-in-head "${PHP_EXTS[@]}") if [[ -z "$PHPCS_FILES" ]]; then echo "Skipping phpcs run on HEAD: no file matching '$PHP_EXTS'" exit 0 diff --git a/mediawiki/conf.d/50_mw_ext_loader.php b/mediawiki/conf.d/50_mw_ext_loader.php index a043684..ea79f37 100644 --- a/mediawiki/conf.d/50_mw_ext_loader.php +++ b/mediawiki/conf.d/50_mw_ext_loader.php @@ -5,4 +5,4 @@ # // FIXME: migrate file content there. -require_once( '/srv/slave-scripts/tools/extensions-loader.php' ); +require_once( '/srv/deployment/integration/slave-scripts/tools/extensions-loader.php' ); -- To view, visit https://gerrit.wikimedia.org/r/98509 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ie99d44a328d157569edc3c763243a2cb4cd4b040 Gerrit-PatchSet: 1 Gerrit-Project: integration/jenkins Gerrit-Branch: master Gerrit-Owner: Hashar <has...@free.fr> Gerrit-Reviewer: Hashar <has...@free.fr> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits