Whenever any member elects to receive credit for any time during which he was employed by a district and was not a member, under any provision of this chapter, such district shall make an additional appropriation equal to the amount which it would have appropriated had such member been a member during the time for which he has elected to obtain credit.