Rohitt Vashishtha 732ec3c0e6 timestamp: Change syntax to <time:timestammp>. ... We had been using !time() syntax for timestamps so far. Since its an unreleased feature, we can make changes without affecting many people. Fixes #15442.		2020-07-06 15:53:56 -07:00
..
marked.js	timestamp: Change syntax to <time:timestammp>.	2020-07-06 15:53:56 -07:00