number format se lo puse para quitarle los ceros a la izquierda a los meses y dias
por que a veces da otros resultados, pero sirve para otros formatos es cuestion de que cheques esa funcion en el manual de php
number_format() y explode sirve para dividir una cadena por un caracter o dato determinado
explode() Cita:
Iniciado por LuZBinG 
perdon y gracias by george
para hacerlo proporcional a los meses trabajados
ejemplo si lleva 2 meses ya es un dia de vacaciones
4 meses 2 dias de vacaciones hasta 1 año que son 6 dias
perdona mi ignorancia pero batallo mucho con est tipo de funciones
number_format,explode
pero eso es solo para menos de un año o tambien si tiene 1 año y medio o 5 años y 3 mese???
es que eso no lo planteaste tu solo por año