Don't use isset() to check for null

$wgLocalTZoffset is defined in DefaultSettings.php so it is always set.

Change-Id: I86518176b30da4e13f6dbfde8f1c77c8ced58d9f

diff --git a/includes/MWTimestamp.php b/includes/MWTimestamp.php
index 447dde3..ad3228d 100644 (file)
--- a/includes/MWTimestamp.php
+++ b/includes/MWTimestamp.php
@@ -268,7 +268,7 @@ class MWTimestamp {
                // first value.
                if ( $data[0] == 'System' ) {
                        // First value is System, so use the system offset.
-                       if ( isset( $wgLocalTZoffset ) ) {
+                       if ( $wgLocalTZoffset !== null ) {
                                $diff = $wgLocalTZoffset;
                        }
                } elseif ( $data[0] == 'Offset' ) {