در این سوال قرار است شما یک فایل text را با اندکی ایجاد تغییر به یک فایل ‍‍‍‍‍json تبدیل کنید.

توضیحات ورودی

• هر سطر از فایل text ای که در اختیار شما قرار می‌گیرد شامل دو قسمت است که با کارکتر : از هم جدا شده‌اند.
• قسمت اول نام یک فرد(به صورت یک رشته) و قسمت دوم شامل یکی از سه کلمه "today", "tomorrow" و "yesterday" است.
• در خط اول فایل هم یک تاریخ با فرمتd F Y قرار دارد که روز نوشتن این سند را مشخص می‌کند.

برنامه‌ای که شما قرار است بنویسید باید فایل text داده شده را به یک فایل JSON به شکل زیر درآورد:

[{"user": "quera" , "time": "2005-10-03"}, {"user": "quora", "time": "2005-10-04"}, ... ]

که user در واقع همان نام فرد در فایل text و time تبدیل شده کلمات "today", "tomorrow" و "yesterday" به تاریخشان با فرمت Y-m-dهستند.

مثال

فایل text ورودی بدین صورت است:

3 October 2005
quera1:today
quora2:tomorrow
quara3:yesterday

خروجی برنامه باید یک فایل json به صورت زیر باشد:

[{"user": "quera1" , "time": "2005-10-03"}, {"user": "quora2", "time": "2005-10-04"}, {"user": "quara3" , "time": "2005-10-02"} ]

جزئیات

• نام فایل text در url و با کلید path به اسکریپت شما داده می شود. یعنی باید از $_GET['path'] استفاده کنید.

• به عبارتی دیگر مقدار $_GET['path'] مستقیما برای توابع کار با فایل در php قابل استفاده است.

برای مثال اگر نام فایل file.txt باشد اسکریپت شما به این صورت صدا زده می شود:

convert.php?path=file.txt

• فایل JSON نهایی را به نام INFO.json ذخیره کنید.
• نیاز به چاپ کردن چیزی ندارید. پاسخ شما همان فایل INFO.json است.
• می‌توانید فایل نمونه text را از اینجا دریافت کنید.
• فایل نمونه دوم را از اینجا دریافت کنید.
• کد شما از طریق خط فرمان commandline اجرا نمی شود. در نتیجه شما نیازی به ارتباط با ورودی و خروجی استاندارد (STDIN , STDOUT) ندارید.

آنچه باید آپلود کنید

فایل پاسخ خود را با نام convert.php ذخیره کرده و به صورت فایل zip. آپلود کنید.