یک برنامه PHP بنویسید که از کلاس DateTime و تابع date_timestamp_set برای دریافت یک timestamp یونیکس (از طریق پارامتر GET یا ورودی ثابت) استفاده کند و آن را به منطقه زمانی "Asia/Tehran" تبدیل کرده و در خروجی به فرمت "Y-m-d H:i:s" نمایش دهد.

برای امنیت ورودی، مقدار timestamp را از طریق filter_input(INPUT_GET, 'ts', FILTER_VALIDATE_INT) بررسی کنید و در صورت نامعتبر بودن مقدار، پیغامی خطا یا زمان فعلی را نشان دهید. یک شیء DateTime ایجاد کنید و با date_timestamp_set مقدار timestamp ورودی را روی آن تنظیم کنید، سپس با setTimezone(new DateTimeZone('Asia/Tehran')) منطقه زمانی را تغییر داده و با format('Y-m-d H:i:s') خروجی را چاپ کنید. توجه کنید که تغییر DST ایران ممکن است در فصول مختلف سال منجر به تفاوتی با زمان UTC بدهد. همچنین مطمئن شوید دیتابیس مناطق زمانی PHP به‌روز است تا نتیجه دقیق باقی بماند.