Czy datetime-local jest usuwane z HTML 5.1?

HTML5 pozornie wprowadza te dwa typy danych wejściowych:

• datetime (ze strefą czasową)
• datetime-local (bez strefy czasowej)

Mimo że oba są obecne na wiki W3C, zalecenia nocne w wersji HTML 5.1 wspominają tylko o typie daty i godziny , ale nie mogę znaleźć żadnej wzmianki o nim datetime-local.

Czy ten typ został usunięty (lub zmieniono jego nazwę) z rekomendacji, czy możemy nadal oczekiwać jego przyszłego wsparcia?

datetime-localStan jest częścią:

• WHATWG's HTML (Living Standard) (na dzień 14.03.2014)
• HTML3 W3C (Rekomendacja dla kandydatów) od 04.02.2014
• HTML 5.1 W3C ( wersja robocza) od 04.02.2014

Ale to nie już w HTML 5.1 (projekt redakcji) od 2014-03-17 .

Został usunięty w zatwierdzeniu z 11.02.2014 :

Usunięcie definicji typu danych wejściowych = „datetime-local” oraz jej sekcji i odniesień.

Zostało to zaproponowane w mailu <input type = datetime-local> Błędy HTML5 CR od 14.01.2014.

Oto wątek, w którym omówiono usunięcie w odpowiedzi: RE: <input type = datetime-local> Błędy HTML5 CR [I18N-ACTION-279]

Obawiamy się, że „datetime-local” fałszywie implikuje lokalny czas ścienny (a zatem strefę czasową). Programiści nie są dobrzy w identyfikowaniu zmiennych czasów.
[…]
Dodałbym, że zmienne znaczniki czasu (data i godzina są znaczące) są najmniej powszechnym przypadkiem. Zwykle w tym momencie chcesz obliczyć lokalną wartość czasu na podstawie informacji o strefie czasowej. Zasadniczo wykorzystanie czasu zmiennoprzecinkowego wymaga od twórców wcześniejszego przemyślenia, aby uniknąć kłopotów. W rezultacie mógłbym wesprzeć usunięcie datetime-local. Jeśli zostanie zachowane, myślę, że I18N wolałby, aby jego nazwa zawierała słowo „pływający” zamiast wprowadzającego w błąd „lokalny”.

Wygląda na to, że nie zostanie usunięty z kodu HTML WHATWG (przynajmniej na razie). Ponieważ może to prowadzić do rozbieżności, temat może zostać omówiony na następnym spotkaniu HTML WG.