UTC. Обычно не заморачивался с часовым поясом, задавал в php.ini. Согласитесь, легче работать с часовыми поясами, если это int :)