The list of timezones is generated through PHP with the source of zoneinfo, wich is the--more or less--official list of timezones.

However, the reduced list is just the product of this little script.