jenkins-bot has submitted this change and it was merged. Change subject: Fixup MW for HHVM Repo Authorative mode ......................................................................
Fixup MW for HHVM Repo Authorative mode https://github.com/facebook/hhvm/issues/5834 https://github.com/facebook/hhvm/issues/5833 Change-Id: I138ffa5df874c5660897dc7feab36adef9f32aea --- M RELEASE-NOTES-1.25 M includes/debug/logger/LoggerFactory.php 2 files changed, 3 insertions(+), 2 deletions(-) Approvals: Reedy: Looks good to me, approved jenkins-bot: Verified diff --git a/RELEASE-NOTES-1.25 b/RELEASE-NOTES-1.25 index fd549dd..362414f 100644 --- a/RELEASE-NOTES-1.25 +++ b/RELEASE-NOTES-1.25 @@ -8,7 +8,8 @@ === 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 == diff --git a/includes/debug/logger/LoggerFactory.php b/includes/debug/logger/LoggerFactory.php index b3078b9..11d5cea 100644 --- a/includes/debug/logger/LoggerFactory.php +++ b/includes/debug/logger/LoggerFactory.php @@ -94,7 +94,7 @@ * @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 " . -- To view, visit https://gerrit.wikimedia.org/r/255966 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I138ffa5df874c5660897dc7feab36adef9f32aea Gerrit-PatchSet: 2 Gerrit-Project: mediawiki/core Gerrit-Branch: REL1_25 Gerrit-Owner: Reedy <re...@wikimedia.org> Gerrit-Reviewer: Reedy <re...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits