php - gmmktime と mktime で同じ数値が得られる

Question

私の PHP タイムゾーンは「Asia/Tehran」なので、gmmktime が mktime と同じ結果になるとは思えません。

php 情報:

デフォルトのタイムゾーン Asia/Tehran

ただし、phpコンソールに入力すると：

echo date('jS F Y h:i:s A (T)', mktime());

2013 年 9 月 3日 午前11 時 23 分10 秒 (IRDT)

echo date('jS F Y h:i:s A (T)', gmmktime());

2013 年 9 月 3日 午前11 時 23 分16 秒 (IRDT)

私は3.5または4.5時間の時差を期待していますが。私はどこかで間違っていますか？