Jeroen De Dauw has uploaded a new change for review. https://gerrit.wikimedia.org/r/80046
Change subject: Update Travis config ...................................................................... Update Travis config Change-Id: Ic889346384d142587c6594a7002b994872d94ede --- M .travis.sh 1 file changed, 0 insertions(+), 1 deletion(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Maps refs/changes/46/80046/1 diff --git a/.travis.sh b/.travis.sh index 7ee1972..af9d9a8 100644 --- a/.travis.sh +++ b/.travis.sh @@ -26,6 +26,5 @@ echo 'ini_set("display_errors", 1);' >> LocalSettings.php echo '$wgShowExceptionDetails = true;' >> LocalSettings.php echo '$wgDevelopmentWarnings = true;' >> LocalSettings.php -echo "putenv( 'MW_INSTALL_PATH=$(pwd)' );" >> LocalSettings.php php maintenance/update.php --quick -- To view, visit https://gerrit.wikimedia.org/r/80046 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: Ic889346384d142587c6594a7002b994872d94ede Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Maps Gerrit-Branch: master Gerrit-Owner: Jeroen De Dauw <jeroended...@gmail.com> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits