diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2015-12-18 06:00:00 +0100 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2015-12-18 06:00:00 +0100 |
| commit | 15e69f7b20b6596b9148030acce5b59993b95a45 (patch) | |
| tree | 7b828b8920b0e222dc2a2c97dde933c9c4864fab /includes/debug/logger/LoggerFactory.php | |
| parent | 9e06a62f265e3a2aaabecc598d4bc617e06fa32d (diff) | |
Update to MediaWiki 1.25.4
Diffstat (limited to 'includes/debug/logger/LoggerFactory.php')
| -rw-r--r-- | includes/debug/logger/LoggerFactory.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/debug/logger/LoggerFactory.php b/includes/debug/logger/LoggerFactory.php index b3078b9a..11d5ceaf 100644 --- a/includes/debug/logger/LoggerFactory.php +++ b/includes/debug/logger/LoggerFactory.php @@ -94,7 +94,7 @@ class LoggerFactory { * @return \Psr\Log\LoggerInterface */ public static function getInstance( $channel ) { - if ( !interface_exists( '\Psr\Log\LoggerInterface' ) ) { + if ( !interface_exists( 'Psr\Log\LoggerInterface' ) ) { $message = ( '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 " . |