Eu quero um regexp para combinar o tempo no formato HH: MM. Aqui está o que eu tenho e funciona:
^[0-2][0-3]:[0-5][0-9]$
Isso corresponde a tudo, das 00:00 às 23:59.
No entanto, quero alterá-lo para que 0:00 e 1:00, etc, também sejam correspondidos, bem como 00:00 e 01:30. Ou seja, para tornar opcional o dígito mais à esquerda, para coincidir com HH: MM e H: MM.
Alguma idéia de como fazer essa mudança? Eu preciso disso para trabalhar em javascript, bem como php.