HTML5では、時間を指定するための<time>要素があり、また<del>要素などではdatetime属性によって時間を指定できる。これは編集履歴を残すのに都合がよい。ここに指定するのは、有効なglobal date and time stringでなければならない。例えば、 2017-03-15T20:53:45+09:0</del></time>…