debug: Add missing "use DateTimeZone" in LegacyLogger.php
authorKunal Mehta <legoktm@gmail.com>
Fri, 10 Apr 2015 17:57:01 +0000 (10:57 -0700)
committerKunal Mehta <legoktm@gmail.com>
Fri, 10 Apr 2015 17:57:01 +0000 (10:57 -0700)
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

includes/debug/logger/LegacyLogger.php

index 9cf104a..edaef4a 100644 (file)
@@ -20,6 +20,7 @@
 
 namespace MediaWiki\Logger;
 
+use DateTimeZone;
 use MWDebug;
 use Psr\Log\AbstractLogger;
 use Psr\Log\LogLevel;