From: jenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Date: Tue, 4 Nov 2014 02:14:12 +0000 (+0000)
Subject: Merge "die() with explanation when \Psr\Log\LoggerInterface is missing"
X-Git-Tag: 1.31.0-rc.0~13410
X-Git-Url: https://git.cyclocoop.org/%242?a=commitdiff_plain;h=c898b92358b9c40d3a2f9b44fc90599e4d7f368c;hp=e307d0d812eccfdcd7e9f7675fc7ec0f862b1328;p=lhc%2Fweb%2Fwiklou.git

Merge "die() with explanation when \Psr\Log\LoggerInterface is missing"
---

diff --git a/includes/debug/logger/Logger.php b/includes/debug/logger/Logger.php
index 7164bfabc8..f5d2445387 100644
--- a/includes/debug/logger/Logger.php
+++ b/includes/debug/logger/Logger.php
@@ -19,6 +19,17 @@
  * @file
  */
 
+if ( !interface_exists( '\Psr\Log\LoggerInterface' ) ) {
+	$message = <<<TXT
+MediaWiki requires the <a href="https://github.com/php-fig/log">PSR-3 logging library</a> to be present. This library is not embedded directly in MediaWiki's git repository and must be installed separately by the end user.
+
+Please see <a href="https://www.mediawiki.org/wiki/Download_from_Git#Fetch_external_libraries">mediawiki.org</a> for help on installing the required components.
+TXT;
+	echo $message;
+	trigger_error( $message, E_USER_ERROR );
+	die( 1 );
+}
+
 /**
  * PSR-3 logging service.
  *