Notwithstanding the provisions of Kan. Stat. Ann. §§ 74-4913 to the contrary, an employee who became a member of the Kansas public employees retirement system on November 1, 1963, who was employed by another participating employer from June 1, 1945 until September, 1945 and from June 1, 1946 until September, 1962, shall upon retirement be granted prior service credit for such service with a participating employer from June 1, 1945 until September, 1962. The prior service benefit shall be computed by using a prior service salary of five thousand two hundred ninety dollars ($5,290.00).