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)
commit2ddcffa0f2850ce089fa2dcc7380e55f26c03712
treebe3bb2cb91a3dcc79db156d897564db9fa42f79e
parentdda1696b7ffab626ca5a0ca6f3d85a968317dc7b
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
includes/debug/logger/LegacyLogger.php