The PHP 'GMT' timezone is equivalent to the 'UTC' timezone and therefore
does not include summertime offsets. The 'GMT' timezone reported by MySQL,
however, does use the BST summertime offsets. Therefore, the 'GMT' reported
by MySQL should be explicitly translated to the 'UTC' timezone for use in
PHP.