If a person employed in a public school district of this state has received an actual salary reduced below the contract salary due to military service or other government service, the Arkansas Teacher Retirement System shall compute retirement benefits based upon the contract salary and not the reduced salary resulting from the military service or other government service, provided that the system receives the employee and employer contributions in effect at the time service is rendered, plus interest, on the difference between the actual salary and the contract salary.