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

Reply via email to