Как правильно вывести время в формате GMT?

Читал документацию по RSS, в полях для вывода даты это производится в четком и строго установленном формате:

Цитата:

Wed, 04 Feb 2009 13:42:39 GMT

- универсальное время как я понял по гринвичу. Но меня удивил тот факт что я не нашел функции для получения или приведения времени к такому формату. Существует gmdate(), наиболее близок к необходимому параметр "r". Но неужели прийдется все же форматировать строку в ручную?P.S. Желательно получить вариант извлекания даты в том же формате средствами MySQL