Sec. 11. SERVICE CREDIT. (a) A member who returns to service after an interruption in service is eligible for credit for the previous service to the extent provided by Section 17 or 19 of this article.
(b) Notwithstanding Subsection (a) of this section, if a member has withdrawn the contributions made during any previous period of service, the previous period of service may not be counted in determining years of service unless the contributions are repaid to the pension system in accordance with Section 17 of this article.
(c) A member may not have any service credited for unused sick leave, vacation pay, accumulated overtime, or equivalent types of pay until the date the member retires, at which time the member may apply some or all of the service to satisfy the requirements for retirement, although the member otherwise could not meet the service requirement without the credit.
(d) The board shall determine the prior service to be credited to each employee of the police department who becomes an active member of the pension system. The board shall rely on the personnel records of the city or the police department in determining prior service credits.