Formateo de números con ceros a la izquierda en PHP

¡Hola a todos! Soy nuevo en PHP y me encontré con una tarea aparentemente simple, pero no puedo encontrar la solución correcta. Necesito mostrar IDs de pedidos en un formato donde el número siempre ocupe, digamos, 5 caracteres. Si el ID es 1, debe mostrarse como "00001". Si el ID es 123, entonces como "00123". Es decir, se añaden ceros a la izquierda hasta alcanzar la longitud deseada. Intenté usar simplemente concatenación de strings, por ejemplo: `$order_id = '00000' . $id;`, pero esto no funciona cuando el número ya tiene varios dígitos. Obtengo "00000123", pero necesito "00123". Intenté buscar en la documentación, pero hay muchas funciones y me confundí. Aquí hay un ejemplo de mi código que no da el resultado deseado: ```php ``` Por favor, indíquenme cómo agregar correctamente ceros a la izquierda a un número en PHP. ¿Y hay una forma universal que funcione para números de diferentes longitudes? ¡Gracias de antemano por la ayuda!