Fixup MW for HHVM Repo Authorative mode

facebook/hhvm#5834
facebook/hhvm#5833

Change-Id: I138ffa5df874c5660897dc7feab36adef9f32aea

Author: reedy

RELEASE-NOTES-1.25

@@ -8,7 +8,8 @@ THIS IS NOT YET A RELEASE!
 === Changes since 1.25.3 ===
 * (T103237) $wgUseGzip had no effect when using file cache.
 * (T114606) mw.notify was not correctly fixed to the page if
-  initialized while not at the top of the page
+  initialized while not at the top of the page.
+* * Fix issue that breaks HHVM Repo Authorative mode.
 
 == MediaWiki 1.25.3 ==
 

includes/debug/logger/LoggerFactory.php

@@ -94,7 +94,7 @@ public static function getProvider() {
 	 * @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 " .