Jeroen De Dauw has submitted this change and it was merged.

Change subject: Update path in TravisCI config
......................................................................


Update path in TravisCI config

Change-Id: I37990aeeadb3d42cae9f70db795d46bcdf3a3d49
---
M .travis.sh
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Jeroen De Dauw: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.travis.sh b/.travis.sh
index 06ec115..87f8fcc 100644
--- a/.travis.sh
+++ b/.travis.sh
@@ -21,7 +21,7 @@
 mkdir SemanticMediaWiki
 cp -r $originalDirectory/* SemanticMediaWiki
 
-echo 'require_once( __DIR__ . 
"/vendor/mediawiki/semantic-mediawiki/SemanticMediaWiki.php" );' >> 
LocalSettings.php
+echo 'require_once( __DIR__ . 
"/extensions/SemanticMediaWiki/SemanticMediaWiki.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/77856
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I37990aeeadb3d42cae9f70db795d46bcdf3a3d49
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/SemanticMediaWiki
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

Reply via email to