Description:
------------
The name of the function "gmdate" seems to suggest GMT, but some experimentation indicates that this function formats a date in UTC.

The documentation currently says:

> gmdate — Format a GMT/UTC date/time
> [...]
> Identical to the date() function except that the time returned is Greenwich Mean Time (GMT).

and most user submitted notes on the same page seem to indicate that GMT and UTC are basically the same thing.
They're not.
GMT observes European Summer Time (or "daylight saving" to some), while UTC does not. So for about half the time, the resulting values wil differ by one hour.


I recommend we change the documentation to remove all references to Greenwich (save for the one in the function name), and only ever mention UTC.

Test script:
---------------
According to the following script:

<?php
var_dump(date("e"));
var_dump(gmdate("e"));
?>

which outputs:
> string(13) "Europe/Berlin"
> string(3) "UTC"

the documentation should read "UTC", not "GMT".