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.
D.C. Code § 1-504
Holidays, recognition of Dr. King's birthday, see § 28-2701. Merit system, continuation of existing laws, see § 1-632.06. .