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
Designation by Mayor of Dr. King’s birthday as holiday
July 12, 1977, D.C
Official source: D.C. Law Library (Council of the District of Columbia). Reproduced from public-domain District of Columbia statutes; confirm against the official source for the current text. Not legal advice.