Tenho um campo com limite de 4 caracteres onde irá entrar um valor, gostaria que o espaço restante se completasse com zeros da esquerda pra direita, por exemplo, se o usuário insere o número 4. Teria que sair 0004, se inserisse 100, teria que sair 0100, se fosse inserido 1000, sairia 1000 e assim por diante.
Como consigo fazer isso com PHP?