A PHP helper for creating a timezone picker dropdown menu.