note 117844 added to timezones.asia

Hi, I see Asia/Makassar and Asia/Ujung_Pandang in the list. They're both the same city in South Sulawesi, Indonesia. in 2000, government officially renamed Ujung Pandang to Makassar. I havent check Asia/Ujung_Pandang yet, but both should return GMT+08 value. ---- Server IP: 72.52.91.14 Probable Submitter: 128.199.222.136 ---- Manual Page -- http://php.net/manual/en/timezones.asia.php Edit -- https://master.php.net/note/edit/117844 Del: integrated -- https://master.php.net/note/delete/117844/integrated Del: useless -- https://master.php.net/note/delete/117844/useless Del: bad code -- https://master.php.net/note/delete/117844/bad+code Del: spam -- https://master.php.net/note/delete/117844/spam Del: non-english -- https://master.php.net/note/delete/117844/non-english Del: in docs -- https://master.php.net/note/delete/117844/in+docs Del: other reasons-- https://master.php.net/note/delete/117844 Reject -- https://master.php.net/note/reject/117844 Search -- https://master.php.net/manage/user-notes.php