Potrzebuję wyrażenia regularnego do dopasowania czasu w formacie HH: MM. Oto co mam i to działa:
^[0-2][0-3]:[0-5][0-9]$
Dotyczy to wszystkiego od 00:00 do 23:59.
Jednak chcę to zmienić, aby dopasować również 0:00 i 1:00 itd., A także 00:00 i 01:30. To znaczy, aby skrajna lewa cyfra była opcjonalna, aby dopasować zarówno HH: MM, jak i H: MM.
Jakieś pomysły, jak to zmienić? Potrzebuję tego do pracy w javascript i php.