Regulation exempting the Police Magistrates' Department from the operation of the Holidays Ordinance, 1875