(a) The salary of the municipal judges shall be fixed from time to time by the municipal governing body and paid by the municipality, but no judge’s salary shall be diminished during his term of office.
(b) A general increase in the compensation of all or substantially all city employees shall be applied proportionately to the salaries of such judges.
(c) The municipality may provide for the retirement of municipal judges, with such conditions, retirement benefits and pensions for them and their dependents as it may prescribe.