§ 1–504. Designation by Mayor of Dr. King’s birthday as holiday.

The Mayor is authorized to designate the holiday in honor of Dr. King as a holiday for all employees of the government of the District of Columbia. Employees who are required to work on that holiday shall be entitled to such pay as they are entitled to on other holidays during which they work.