Удаляется ли datetime-local из HTML 5.1?

HTML5, по-видимому, вводит эти два типа ввода:

• datetime (с часовым поясом)
• datetime-local (без часового пояса)

Несмотря на то, что оба они присутствуют в W3C Wiki, в ночной черновой рекомендации HTML 5.1 упоминается только тип даты и времени , но я не могу найти упоминания о них datetime-local.

Этот тип был удален (или переименован) из рекомендации, или мы все еще можем ожидать его поддержку в будущем?

datetime-localГосударство является частью:

• HTML- код WHATWG (уровень жизни) (по состоянию на 2014-03-14)
• W5C HTML5 (рекомендация кандидата) от 2014-02-04
• W3C HTML 5.1 (рабочий проект) от 2014-02-04

Но это не больше в HTML 5.1 (Проект редактора) от 2014-03-17 .

Он был удален в коммите от 2014-02-11 :

Удаление определения типа ввода = "datetime-local" и его разделов и ссылок.

Это было предложено в почтовых сообщениях <input type = datetime-local> HTML5 CR за 2014-01-14.

Вот тема, в которой удаление обсуждалось в ответе: RE: <input type = datetime-local> HTML5 CR bug [I18N-ACTION-279]

Мы действительно обеспокоены тем, что «местное время дата» ложно подразумевает местное время (и, следовательно, часовой пояс). Разработчики не умеют идентифицировать плавающее время как оно есть.
[…]
Я хотел бы добавить, что плавающие временные метки (дата и время имеют значение) являются наименее распространенным случаем. Обычно в этот момент вы хотите вычислить значение местного времени, используя информацию о часовом поясе. Как правило, использование плавающего времени требует от разработчиков некоторой предусмотрительности, чтобы избежать неприятностей. Я мог бы поддержать удаление datetime-local в результате. Если он сохранится, я думаю, что I18N предпочел бы, чтобы его переименовали, чтобы включить слово «плавающий» вместо вводящего в заблуждение «локальный».

Кажется, что он не будет удален из HTML-кода WHATWG (по крайней мере, на данный момент). Поскольку это может привести к расхождению, эта тема может быть обсуждена на следующем совещании РГ по HTML.