I don't know if the company is obliged to, but I think it is of good taste to give credit to the original contributors when publishing code. Even though the code is old and the person it is not a employee of the company anymore.