<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<div><br></div><div><br></div><div><br></div><div>Oct 17, 2021, 10:51 by lonvia@denofr.de:<br></div><blockquote class="tutanota_quote" style="border-left: 1px solid #93A3B8; padding-left: 10px; margin-left: 5px;"><div>https://wiki.openstreetmap.org/wiki/Key:opening_hours/specification#extended_hour_minutes<br></div><div>states that "Mo 20:00-02:00" is perfectly valid syntax. In fact, it even goes on to<br></div><div>admit that it might be "easier to read".<br></div></blockquote><div dir="auto">I added also this variant to <br></div><div dir="auto"><a href="https://wiki.openstreetmap.org/wiki/Key:opening_hours#Closing_after_midnight" rel="noopener noreferrer" target="_blank">https://wiki.openstreetmap.org/wiki/Key:opening_hours#Closing_after_midnight</a><br></div><blockquote class="tutanota_quote" style="border-left: 1px solid #93A3B8; padding-left: 10px; margin-left: 5px;"><div>If I just look at https://wiki.openstreetmap.org/wiki/Key:opening_hours#Summary_syntax<br></div><div>then your example is even wrong because there is just states:<br></div><div><br></div><div> HH: An absolute 2-digit hours number (in day, in 24 hour format, no am/pm)<br></div><div> in range 00-23, e.g. Fr 08:30-20:00.<br></div></blockquote><div dir="auto">It is a summary that is not covering many many many special cases.<br></div><div dir="auto"><br></div><div dir="auto">It also starts from <br></div><div dir="auto">"For more complicated cases, please refer to the text below this section, <br></div><div dir="auto">to the full specification and to more explanations."<br></div><blockquote class="tutanota_quote" style="border-left: 1px solid #93A3B8; padding-left: 10px; margin-left: 5px;"><div>The extended hour specification might be written down somewhere in our wiki but<br></div><div>that doesn't mean that anybody is forced to use it.<br></div></blockquote><div dir="auto">Someone can try parsing or tagging while ignoring documented syntax, but<br></div><div dir="auto">it is not a good idea.<br></div> </body>
</html>