Hashar has uploaded a new change for review. https://gerrit.wikimedia.org/r/98509
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(-) git pull ssh://gerrit.wikimedia.org:29418/integration/jenkins refs/changes/09/98509/1 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: newchange Gerrit-Change-Id: Ie99d44a328d157569edc3c763243a2cb4cd4b040 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