Jeroen De Dauw has submitted this change and it was merged. Change subject: Have Travis set up a MW install ......................................................................
Have Travis set up a MW install Change-Id: I7d692770d5a79b38a175e06295e0a7a6d352b104 --- M .gitignore A .travis.sh M .travis.yml 3 files changed, 33 insertions(+), 1 deletion(-) Approvals: Jeroen De Dauw: Verified; Looks good to me, approved diff --git a/.gitignore b/.gitignore index 62db225..e6124c9 100644 --- a/.gitignore +++ b/.gitignore @@ -6,6 +6,7 @@ !.gitreview !.travis.yml +!.travis.sh !.coveralls.yml composer.phar diff --git a/.travis.sh b/.travis.sh new file mode 100644 index 0000000..73d6037 --- /dev/null +++ b/.travis.sh @@ -0,0 +1,31 @@ +#! /bin/bash + +set -x + +originalDirectory=$(pwd) + +cd .. + +git clone https://gerrit.wikimedia.org/r/p/mediawiki/core.git phase3 --depth 1 + +cd phase3 + +mysql -e 'create database its_a_mw;' +php maintenance/install.php --dbtype $DBTYPE --dbuser root --dbname its_a_mw --dbpath $(pwd) --pass nyan TravisWiki admin + +cd extensions +cp -r $originalDirectory/* Maps + +cd Maps +composer require satooshi/php-coveralls +cd .. + +echo 'require_once( __DIR__ . "/extensions/Maps/Maps.php" );' >> LocalSettings.php + +echo 'error_reporting(E_ALL| E_STRICT);' >> LocalSettings.php +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 diff --git a/.travis.yml b/.travis.yml index 9cd574a..5145b26 100644 --- a/.travis.yml +++ b/.travis.yml @@ -6,7 +6,7 @@ - 5.5 before_script: - - composer install + - ./.travis.sh script: - phpunit --coverage-clover build/logs/clover.xml -- To view, visit https://gerrit.wikimedia.org/r/80034 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I7d692770d5a79b38a175e06295e0a7a6d352b104 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Maps Gerrit-Branch: master Gerrit-Owner: Jeroen De Dauw <[email protected]> Gerrit-Reviewer: Jeroen De Dauw <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
