From: Kunal Mehta <legoktm@gmail.com>
Date: Fri, 10 Apr 2015 17:57:01 +0000 (-0700)
Subject: debug: Add missing "use DateTimeZone" in LegacyLogger.php
X-Git-Tag: 1.31.0-rc.0~11745^2
X-Git-Url: http://git.cyclocoop.org//%22javascript:ModifierStyle%28%27%22.%24id.%22%27%29/%22?a=commitdiff_plain;h=2ddcffa0f2850ce089fa2dcc7380e55f26c03712;p=lhc%2Fweb%2Fwiklou.git

debug: Add missing "use DateTimeZone" in LegacyLogger.php

Seen in fatal.log in production: ErrorException from line 264 of
/srv/mediawiki/php-1.26wmf1/includes/exception/MWExceptionHandler.php:
Fatal Error: Class undefined: MediaWiki\Logger\DateTimeZone

Bug: T95727
Change-Id: Icb303314caaef47ac767fbf593e92d09e818f147
---

diff --git a/includes/debug/logger/LegacyLogger.php b/includes/debug/logger/LegacyLogger.php
index 9cf104aa48..edaef4a729 100644
--- a/includes/debug/logger/LegacyLogger.php
+++ b/includes/debug/logger/LegacyLogger.php
@@ -20,6 +20,7 @@
 
 namespace MediaWiki\Logger;
 
+use DateTimeZone;
 use MWDebug;
 use Psr\Log\AbstractLogger;
 use Psr\Log\LogLevel;