Jeroen De Dauw has submitted this change and it was merged.
Change subject: Update TravisCI config
......................................................................
Update TravisCI config
Change-Id: Id48219a44bc47ce3b388fb9fa92dc8d00f47e054
---
M .travis.sh
1 file changed, 3 insertions(+), 3 deletions(-)
Approvals:
Jeroen De Dauw: Verified; Looks good to me, approved
diff --git a/.travis.sh b/.travis.sh
index 2ad5ab5..e22bcd3 100644
--- a/.travis.sh
+++ b/.travis.sh
@@ -23,9 +23,9 @@
composer install
cd ../..
-echo 'require_once( __DIR__ . "/vendor/wikibase/wikibase/repo/Wikibase.php"
);' >> LocalSettings.php
-echo 'require_once( __DIR__ .
"/vendor/wikibase/wikibase/repo/ExampleSettings.php" );' >> LocalSettings.php
-echo 'require_once( __DIR__ . "/vendor/wikibase/query/WikibaseQuery.php" );'
>> LocalSettings.php
+echo 'require_once( __DIR__ .
"/extensions/WikibaseQuery/vendor/wikibase/wikibase/repo/Wikibase.php" );' >>
LocalSettings.php
+echo 'require_once( __DIR__ .
"/extensions/WikibaseQuery/vendor/wikibase/wikibase/repo/ExampleSettings.php"
);' >> LocalSettings.php
+echo 'require_once( __DIR__ . "/extensions/WikibaseQuery/WikibaseQuery.php"
);' >> LocalSettings.php
echo 'error_reporting(E_ALL| E_STRICT);' >> LocalSettings.php
echo 'ini_set("display_errors", 1);' >> LocalSettings.php
--
To view, visit https://gerrit.wikimedia.org/r/88061
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Id48219a44bc47ce3b388fb9fa92dc8d00f47e054
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/WikibaseQuery
Gerrit-Branch: master
Gerrit-Owner: Jeroen De Dauw <[email protected]>
Gerrit-Reviewer: Jeroen De Dauw <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
