Quiero una expresión regular para el tiempo de coincidencia en formato HH: MM. Esto es lo que tengo, y funciona:
^[0-2][0-3]:[0-5][0-9]$
Esto coincide con todo de 00:00 a 23:59.
Sin embargo, quiero cambiarlo para que también coincidan 0:00 y 1:00, etc., así como 00:00 y 01:30. Es decir, hacer que el dígito más a la izquierda sea opcional, para que coincida con HH: MM y H: MM.
¿Alguna idea de cómo hacer ese cambio? Necesito que esto funcione en javascript y php.