All full-time and part-time regular employees shall be paid a Christmas bonus each year, if a bonus is budgeted by the city council for that year, in addition to all other compensation based upon a percentage of first eleven (11) months earnings.
(1981 Code of Ordinances Chapter 7, Section 15)