jenkins-bot has submitted this change and it was merged.

Change subject: Fix $wgDebugLogFile location.
......................................................................


Fix $wgDebugLogFile location.

It had a stray '__DIR__' in it.

Change-Id: I4ac6890a697d56d91bf35284041847ae3fcd02e5
---
M LocalSettings.php
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Ori.livneh: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/LocalSettings.php b/LocalSettings.php
index 83d3739..799d03f 100644
--- a/LocalSettings.php
+++ b/LocalSettings.php
@@ -26,7 +26,7 @@
 
 // Expose debug info for PHP errors.
 $wgShowExceptionDetails = true;
-$wgDebugLogFile = __DIR__ . '/vagrant/logs/mediawiki-debug.log';
+$wgDebugLogFile = '/vagrant/logs/mediawiki-debug.log';
 
 // Expose debug info for SQL errors.
 $wgDebugDumpSql = true;

-- 
To view, visit https://gerrit.wikimedia.org/r/73914
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I4ac6890a697d56d91bf35284041847ae3fcd02e5
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/vagrant
Gerrit-Branch: master
Gerrit-Owner: Spage <[email protected]>
Gerrit-Reviewer: Mattflaschen <[email protected]>
Gerrit-Reviewer: Ori.livneh <[email protected]>
Gerrit-Reviewer: jenkins-bot

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to