Apakah datetime-lokal dihapus dari HTML 5.1?

HTML5 tampaknya memperkenalkan dua jenis input ini:

• datetime (dengan zona waktu)
• datetime-local (tanpa zona waktu)

Meskipun keduanya hadir di W3C wiki, HTML 5.1 draf rekomendasi malam hanya menyebutkan jenis datetime , saya tidak bisa menemukan penyebutan datetime-local.

Apakah jenis ini telah dihapus (atau diganti namanya) dari rekomendasi, atau bisakah kita masih mengharapkan dukungan di masa depan untuk itu?

The datetime-localnegara adalah bagian dari:

• HTML WHATWG (Standar Hidup) (mulai 2014-03-14)
• W3C's HTML5 (Calon Rekomendasi) dari 2014-02-04
• W3C's HTML 5.1 (Working Draft) dari 2014-02-04

Tapi itu tidak lagi dalam HTML 5.1 (Draft Editor) dari 2014-03-17 .

Itu dihapus dalam komit dari 2014-02-11 :

Menghapus definisi tipe input = "datetime-local" dan bagian dan rujukannya.

Ini diusulkan dalam mail <input type = datetime-local> HTML5 CR bug dari 2014-01-14.

Berikut adalah utas tempat penghapusan dibahas sebagai balasan: RE: <input type = datetime-local> Bug HTML5 CR [I18N-ACTION-279]

Kekhawatiran kami adalah, memang, bahwa "datetime-local" secara salah menyiratkan waktu dinding lokal (dan dengan demikian zona waktu). Pengembang tidak pandai mengidentifikasi waktu mengambang seperti saat ini.
[…]
Saya ingin menambahkan bahwa cap waktu mengambang (tanggal dan waktu adalah signifikan) adalah kasus yang paling tidak umum. Biasanya pada titik itu Anda ingin menghitung nilai waktu lokal menggunakan informasi zona waktu. Secara umum, penggunaan waktu apung memerlukan beberapa pemikiran ke depan oleh pengembang agar tidak mendapat masalah. Saya dapat mendukung menghapus datetime-lokal sebagai hasilnya. Jika disimpan, saya pikir I18N akan lebih suka namanya diganti untuk memasukkan kata "mengambang" daripada "lokal" yang menyesatkan.

Tampaknya itu tidak akan dihapus dari HTML WHATWG (setidaknya untuk saat ini). Karena hal ini dapat menyebabkan divergensi, topik tersebut dapat didiskusikan pada pertemuan WG HTML berikutnya.