https://github.com/facebook/hhvm/issues/5834
https://github.com/facebook/hhvm/issues/5833
Change-Id: I138ffa5df874c5660897dc7feab36adef9f32aea
public static function getInstance( $channel ) {
static $hasPSR3Interface = null;
if ( $hasPSR3Interface === null ) {
- $hasPSR3Interface = interface_exists( '\Psr\Log\LoggerInterface' );
+ $hasPSR3Interface = interface_exists( 'Psr\Log\LoggerInterface' );
if ( !$hasPSR3Interface ) {
$message = (
'MediaWiki requires the <a href="https://github.com/php-fig/log">PSR-3 logging ' .